| 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 | 28492 | logplain |
| -rw-r--r-- | compat | 3 | logplain |
| -rw-r--r-- | control | 3361 | logplain |
| -rw-r--r-- | copyright | 7259 | 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.install.in | 982 | logplain |
| -rw-r--r-- | coq.links.in | 66 | logplain |
| -rw-r--r-- | coq.lintian-overrides | 95 | logplain |
| -rw-r--r-- | coq.xpm | 1457 | logplain |
| -rw-r--r-- | coqvars.mk.in | 284 | logplain |
| -rw-r--r-- | docs | 29 | logplain |
| -rw-r--r-- | gbp.conf | 1676 | logplain |
| -rw-r--r-- | libcoq-ocaml-dev.install.in | 529 | logplain |
| -rw-r--r-- | libcoq-ocaml.install.in | 2239 | logplain |
| -rw-r--r-- | not-installed | 289 | logplain |
| d--------- | patches | 621 | logplain |
| -rwxr-xr-x | rules | 3563 | logplain |
| d--------- | source | 75 | logplain |
| -rw-r--r-- | watch | 144 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |