Ubuntu
haskell-sbv package

haskell-sbv 8.7-1build3 source package in Ubuntu

Changelog

haskell-sbv (8.7-1build3) hirsute; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Thu, 29 Oct 2020 20:47:22 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Hirsute
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Jammy release universe misc

Downloads

File Size SHA-256 Checksum
haskell-sbv_8.7.orig.tar.gz 852.8 KiB 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746
haskell-sbv_8.7-1build3.debian.tar.xz 2.9 KiB 615899549acd89604723a8ce620c694ccd868165f482e8deb26bd8e1a3bcaeca
haskell-sbv_8.7-1build3.dsc 2.7 KiB fef45785ea4674afa0f855a8ac8db4ecfee05c77708f60546950cf0ed4af58b5

Available diffs

View changes file

Binary packages built by this source

libghc-sbv-dev: No summary available for libghc-sbv-dev in ubuntu hirsute.

No description available for libghc-sbv-dev in ubuntu hirsute.

libghc-sbv-doc: No summary available for libghc-sbv-doc in ubuntu hirsute.

No description available for libghc-sbv-doc in ubuntu hirsute.

libghc-sbv-prof: symbolic Haskell theorem prover using SMT solving; profiling libraries

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.