Publishing details
-
Published
-
Copied from
ubuntu zesty in
Primary Archive for Ubuntu
Changelog
haskell-simple-smt (0.6.0-3build1) zesty; urgency=medium
* Rebuild against new GHC ABI.
-- Gianfranco Costamagna <email address hidden> Tue, 24 Jan 2017 11:47:16 +0100
Builds
Built packages
-
libghc-simple-smt-dev
A simple way to interact with an SMT solver process.
-
libghc-simple-smt-doc
A simple way to interact with an SMT solver process.; documentation
-
libghc-simple-smt-prof
A simple way to interact with an SMT solver process.; profiling libraries
Package files