summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--changelog4016logplain
-rw-r--r--compat3logplain
-rw-r--r--control1832logplain
-rw-r--r--copyright1042logplain
-rw-r--r--gbp.conf82logplain
-rw-r--r--libaac-tactics-coq.doc-base.theories289logplain
-rw-r--r--libaac-tactics-coq.docs10logplain
-rw-r--r--libaac-tactics-coq.install206logplain
-rw-r--r--libaac-tactics-ocaml-dev.install100logplain
-rw-r--r--libaac-tactics-ocaml-dev.lintian-overrides117logplain
-rw-r--r--libaac-tactics-ocaml-dev.ocamldoc186logplain
-rw-r--r--libaac-tactics-ocaml.install.in97logplain
-rw-r--r--not-installed157logplain
-rwxr-xr-xrules835logplain
d---------source75logplain
-rw-r--r--watch163logplain