summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--NEWS335logplain
-rw-r--r--README.Debian687logplain
-rw-r--r--README.source1786logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog28408logplain
-rw-r--r--compat3logplain
-rw-r--r--control3403logplain
-rw-r--r--copyright7259logplain
-rw-r--r--coq-theories.dirs45logplain
-rw-r--r--coq-theories.doc-base488logplain
-rw-r--r--coq-theories.install.in76logplain
-rw-r--r--coq-theories.links145logplain
-rw-r--r--coq.install.in967logplain
-rw-r--r--coq.links.in66logplain
-rw-r--r--coq.lintian-overrides95logplain
-rw-r--r--coq.xpm1457logplain
-rw-r--r--coqvars.mk.in284logplain
-rw-r--r--docs26logplain
-rw-r--r--gbp.conf1676logplain
-rw-r--r--libcoq-ocaml-dev.install.in555logplain
-rw-r--r--libcoq-ocaml.install.in2215logplain
-rw-r--r--not-installed267logplain
d---------patches568logplain
-rwxr-xr-xrules3442logplain
d---------source75logplain
-rw-r--r--watch144logplain