| 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 | 28148 | logplain |
| -rw-r--r-- | compat | 3 | logplain |
| -rw-r--r-- | control | 3346 | logplain |
| -rw-r--r-- | copyright | 6124 | 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 | 670 | 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 | 26 | logplain |
| -rw-r--r-- | gbp.conf | 2096 | logplain |
| -rw-r--r-- | libcoq-ocaml-dev.install.in | 555 | logplain |
| -rw-r--r-- | libcoq-ocaml.install.in | 2463 | logplain |
| -rw-r--r-- | not-installed | 248 | logplain |
| d--------- | patches | 444 | logplain |
| -rwxr-xr-x | rules | 3439 | logplain |
| d--------- | source | 75 | logplain |
| -rw-r--r-- | watch | 144 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |