Binary descriptions:

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

Last common version:

8.6.1-1