Publishing details
-
Published
-
Copied from
ubuntu lunar in
Primary Archive for Ubuntu
Changelog
aac-tactics (8.17.0-1build2) lunar; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Thu, 16 Feb 2023 10:55:08 +0100
Builds
Built packages
-
libcoq-aac-tactics
Coq tactics for reasoning modulo AC (theories)
Package files