This page shows all known information about package libaac-tactics-ocaml-dev.

libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)

From source: aac-tactics

debian/control

Section

Architecture

Distribution