Publishing details
Changelog
haskell-copilot-libraries (3.18.1-2) unstable; urgency=medium
* Add z3 as BD to fix tests
-- Scott Talbert <email address hidden> Tue, 09 Jan 2024 10:11:53 -0500
Builds
Built packages
-
libghc-copilot-libraries-dev
Libraries for the Copilot language.
-
libghc-copilot-libraries-doc
Libraries for the Copilot language.; documentation
-
libghc-copilot-libraries-prof
Libraries for the Copilot language.; profiling libraries
Package files