Binary descriptions:

libaac-tactics-coq: No summary available for libaac-tactics-coq in ubuntu oneiric.
libaac-tactics-ocaml: Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-ocaml-dev: No summary available for libaac-tactics-ocaml-dev in ubuntu oneiric.

Last common version:

0.2.pl2-4

Differences from last common version: