Binary descriptions:

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

Last common version:

0.4-2