summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--README.Debian1687logplain
-rw-r--r--README.source1568logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog16408logplain
-rw-r--r--compat2logplain
-rw-r--r--control3289logplain
-rw-r--r--copyright1958logplain
-rw-r--r--coq-libs.dirs41logplain
-rw-r--r--coq-libs.doc-base495logplain
-rw-r--r--coq-libs.install.in33logplain
-rw-r--r--coq-libs.links60logplain
-rw-r--r--coq.dirs.in140logplain
-rw-r--r--coq.emacsen-install1227logplain
-rw-r--r--coq.emacsen-remove453logplain
-rw-r--r--coq.emacsen-startup853logplain
-rw-r--r--coq.install.in823logplain
-rw-r--r--coq.links.in156logplain
-rw-r--r--coq.menu154logplain
-rw-r--r--coq.xpm1457logplain
-rw-r--r--coqide.12622logplain
-rw-r--r--coqide.desktop198logplain
-rw-r--r--coqide.dirs97logplain
-rw-r--r--coqide.docs8logplain
-rw-r--r--coqide.install118logplain
-rw-r--r--coqide.links.in130logplain
-rw-r--r--coqide.menu162logplain
-rw-r--r--docs15logplain
-rw-r--r--gbp.conf30logplain
-rw-r--r--libcoq-ocaml-dev.install.in80logplain
d---------patches34logplain
-rwxr-xr-xpurify_tarball534logplain
-rwxr-xr-xrules2637logplain
-rw-r--r--watch155logplain