Publishing details
Changelog
haskell-simple-smt (0.9.7-2) unstable; urgency=medium
* Remove retired developer, Joachim Breitner, from Uploaders.
* Declare compliance with Debian policy 4.6.2
* Sourceful upload for GHC 9.4
-- Ilias Tsitsimpis <email address hidden> Sun, 27 Aug 2023 12:40:08 +0300
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