Publishing details
Changelog
aac-tactics (8.6.1-2) unstable; urgency=medium
* Recompile with OCaml 4.05.0
-- Stéphane Glondu <email address hidden> Mon, 09 Oct 2017 10:33:39 +0200
Builds
Built packages
-
libaac-tactics-coq
Coq tactics for reasoning modulo AC (theories)
-
libaac-tactics-ocaml
Coq tactics for reasoning modulo AC (plugin)
-
libaac-tactics-ocaml-dbgsym
debug symbols for libaac-tactics-ocaml
-
libaac-tactics-ocaml-dev
Coq tactics for reasoning modulo AC (devt files)
Package files