summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--README.Debian1685logplain
-rw-r--r--TODO.Debian164logplain
-rw-r--r--changelog15152logplain
-rw-r--r--compat2logplain
-rw-r--r--control2586logplain
-rw-r--r--copyright1958logplain
-rw-r--r--coq-interface.12434logplain
-rw-r--r--coq-libs.dirs41logplain
-rw-r--r--coq-libs.doc-base485logplain
-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-startup853logplain
-rw-r--r--coq.install417logplain
-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.desktop213logplain
-rw-r--r--coqide.dirs97logplain
-rw-r--r--coqide.docs19logplain
-rw-r--r--coqide.install95logplain
-rw-r--r--coqide.menu162logplain
-rw-r--r--coqmktop.11185logplain
-rw-r--r--coqtop.12442logplain
-rw-r--r--docs15logplain
d---------patches351logplain
-rwxr-xr-xpurify_tarball497logplain
-rwxr-xr-xrules4096logplain
-rw-r--r--svn-deblayout172logplain
-rw-r--r--watch155logplain