summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--NEWS335logplain
-rw-r--r--README.Debian694logplain
-rw-r--r--README.source1786logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog24343logplain
-rw-r--r--compat2logplain
-rw-r--r--control3873logplain
-rw-r--r--copyright1242logplain
-rw-r--r--coq-theories.dirs45logplain
-rw-r--r--coq-theories.doc-base503logplain
-rw-r--r--coq-theories.install.in76logplain
-rw-r--r--coq-theories.links145logplain
-rw-r--r--coq.emacsen-install1227logplain
-rw-r--r--coq.emacsen-remove453logplain
-rw-r--r--coq.emacsen-startup853logplain
-rw-r--r--coq.install.in711logplain
-rw-r--r--coq.links.in66logplain
-rw-r--r--coq.menu154logplain
-rw-r--r--coq.xpm1457logplain
-rw-r--r--coqide.12622logplain
-rw-r--r--coqide.desktop198logplain
-rw-r--r--coqide.dirs18logplain
-rw-r--r--coqide.install189logplain
-rw-r--r--coqide.links.in130logplain
-rw-r--r--coqide.menu162logplain
-rw-r--r--coqvars.mk.in284logplain
-rw-r--r--docs15logplain
-rw-r--r--gbp.conf528logplain
-rw-r--r--libcoq-ocaml-dev.install.in544logplain
-rw-r--r--libcoq-ocaml.install.in2317logplain
d---------patches116logplain
-rwxr-xr-xpurify_tarball779logplain
-rwxr-xr-xrules2688logplain
d---------source75logplain
-rw-r--r--watch211logplain