summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--README.Debian1687logplain
-rw-r--r--README.source1289logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog15787logplain
-rw-r--r--compat2logplain
-rw-r--r--control2661logplain
-rw-r--r--copyright1958logplain
-rw-r--r--coq-interface.12434logplain
-rw-r--r--coq-libs.dirs41logplain
-rw-r--r--coq-libs.doc-base495logplain
-rw-r--r--coq-libs.install60logplain
-rw-r--r--coq.dirs65logplain
-rw-r--r--coq.emacsen-install1227logplain
-rw-r--r--coq.emacsen-remove453logplain
-rw-r--r--coq.emacsen-startup853logplain
-rw-r--r--coq.install415logplain
-rw-r--r--coq.menu154logplain
-rw-r--r--coq.xpm1457logplain
-rw-r--r--coq_makefile.11419logplain
-rw-r--r--coqc.12766logplain
-rw-r--r--coqide.12622logplain
-rw-r--r--coqide.desktop198logplain
-rw-r--r--coqide.dirs97logplain
-rw-r--r--coqide.docs8logplain
-rw-r--r--coqide.install71logplain
-rw-r--r--coqide.menu162logplain
-rw-r--r--coqmktop.11185logplain
-rw-r--r--coqtop.12442logplain
-rw-r--r--docs15logplain
d---------patches183logplain
-rwxr-xr-xpurify_tarball497logplain
-rwxr-xr-xrules4318logplain
-rw-r--r--watch155logplain