Publishing details
Changelog
aac-tactics (0.2.pl2-4build1) precise; urgency=low
* Rebuild with new Coq.
-- Andreas Moog <email address hidden> Sun, 08 Jan 2012 16:05:08 +0100
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-dev
Coq tactics for reasoning modulo AC (devt files)
Package files