Publishing details
Changelog
haskell-sbv (5.9-1build1) xenial; urgency=medium
* Rebuild for new GHC ABIs.
-- Colin Watson <email address hidden> Wed, 13 Jan 2016 11:10:47 +0000
Builds
Built packages
-
libghc-sbv-dev
symbolic Haskell theorem prover using SMT solving
-
libghc-sbv-doc
symbolic Haskell theorem prover using SMT solving; documentation
-
libghc-sbv-prof
symbolic Haskell theorem prover using SMT solving; profiling libraries
Package files