summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--README.Debian1685logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog8137logplain
-rw-r--r--compat2logplain
-rw-r--r--control2990logplain
-rw-r--r--copyright1949logplain
-rw-r--r--coq-interface.12434logplain
-rw-r--r--coq-libs.install96logplain
-rw-r--r--coq.dirs65logplain
-rw-r--r--coq.docs11logplain
-rw-r--r--coq.emacsen-install1227logplain
-rw-r--r--coq.emacsen-remove453logplain
-rw-r--r--coq.emacsen-startup851logplain
-rw-r--r--coq.install280logplain
-rw-r--r--coq.menu131logplain
-rw-r--r--coq.xpm1496logplain
-rw-r--r--coq7-libs.install63logplain
-rw-r--r--coq_makefile.11419logplain
-rw-r--r--coqc.12766logplain
-rw-r--r--coqide.12622logplain
-rw-r--r--coqide.desktop213logplain
-rw-r--r--coqide.dirs79logplain
-rw-r--r--coqide.docs19logplain
-rw-r--r--coqide.install95logplain
-rw-r--r--coqide.menu136logplain
-rw-r--r--coqmktop.11185logplain
-rw-r--r--coqtop.12442logplain
-rw-r--r--docs15logplain
d---------patches91logplain
-rwxr-xr-xrules3232logplain
-rw-r--r--svn-deblayout172logplain
-rw-r--r--watch89logplain