Publishing details
Changelog
alt-ergo (2.0.0-8build1) jammy; urgency=medium
* No-change rebuild for ocaml abi changes.
-- Matthias Klose <email address hidden> Wed, 26 Jan 2022 10:36:21 +0100
Builds
Built packages
-
alt-ergo
Automatic theorem prover dedicated to program verification
-
alt-ergo-dbgsym
debug symbols for alt-ergo
Package files