summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--README.Debian1319logplain
-rw-r--r--changelog5662logplain
-rw-r--r--compat2logplain
-rw-r--r--control2856logplain
-rw-r--r--copyright825logplain
-rw-r--r--coq-interface.12434logplain
-rw-r--r--coq-libs.install60logplain
-rw-r--r--coq.desktop130logplain
-rw-r--r--coq.dirs46logplain
-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.dirs69logplain
-rw-r--r--coqide.docs19logplain
-rw-r--r--coqide.install95logplain
-rw-r--r--coqmktop.11185logplain
-rw-r--r--coqtop.12442logplain
-rw-r--r--docs23logplain
d---------patches34logplain
-rwxr-xr-xrules2468logplain