Publishing details
-
Published
-
Copied from
ubuntu lunar in
Primary Archive for Ubuntu
Changelog
haskell-simple-smt (0.9.7-1build2) lunar; urgency=medium
* Rebuild against new GHC ABI.
-- Gianfranco Costamagna <email address hidden> Fri, 09 Dec 2022 14:20:52 +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