Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | NEWS | 335 | logplain |
-rw-r--r-- | README.Debian | 687 | logplain |
-rw-r--r-- | README.source | 1786 | logplain |
-rw-r--r-- | TODO.Debian | 164 | logplain |
-rw-r--r-- | changelog | 28077 | logplain |
-rw-r--r-- | compat | 3 | logplain |
-rw-r--r-- | control | 3356 | logplain |
-rw-r--r-- | copyright | 791 | logplain |
-rw-r--r-- | coq-theories.dirs | 45 | logplain |
-rw-r--r-- | coq-theories.doc-base | 488 | logplain |
-rw-r--r-- | coq-theories.install.in | 76 | logplain |
-rw-r--r-- | coq-theories.links | 145 | logplain |
-rw-r--r-- | coq.emacsen-install | 1227 | logplain |
-rw-r--r-- | coq.emacsen-remove | 453 | logplain |
-rw-r--r-- | coq.emacsen-startup | 853 | logplain |
-rw-r--r-- | coq.install.in | 700 | logplain |
-rw-r--r-- | coq.links.in | 66 | logplain |
-rw-r--r-- | coq.xpm | 1457 | logplain |
-rw-r--r-- | coqvars.mk.in | 284 | logplain |
-rw-r--r-- | docs | 18 | logplain |
-rw-r--r-- | gbp.conf | 2096 | logplain |
-rw-r--r-- | libcoq-ocaml-dev.install.in | 639 | logplain |
-rw-r--r-- | libcoq-ocaml.install.in | 2513 | logplain |
-rw-r--r-- | not-installed | 97 | logplain |
d--------- | patches | 399 | logplain |
-rwxr-xr-x | rules | 3234 | logplain |
d--------- | source | 75 | logplain |
-rw-r--r-- | watch | 144 | logplain |