| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.Debian | 1687 | logplain |
| -rw-r--r-- | README.source | 1289 | logplain |
| -rw-r--r-- | TODO.Debian | 164 | logplain |
| -rw-r--r-- | changelog | 15851 | logplain |
| -rw-r--r-- | compat | 2 | logplain |
| -rw-r--r-- | control | 2661 | logplain |
| -rw-r--r-- | copyright | 1958 | logplain |
| -rw-r--r-- | coq-libs.dirs | 41 | logplain |
| -rw-r--r-- | coq-libs.doc-base | 495 | logplain |
| -rw-r--r-- | coq-libs.install | 60 | logplain |
| -rw-r--r-- | coq.dirs | 65 | 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 | 415 | logplain |
| -rw-r--r-- | coq.menu | 154 | logplain |
| -rw-r--r-- | coq.xpm | 1457 | logplain |
| -rw-r--r-- | coqide.1 | 2622 | logplain |
| -rw-r--r-- | coqide.desktop | 198 | logplain |
| -rw-r--r-- | coqide.dirs | 97 | logplain |
| -rw-r--r-- | coqide.docs | 8 | logplain |
| -rw-r--r-- | coqide.install | 71 | logplain |
| -rw-r--r-- | coqide.menu | 162 | logplain |
| -rw-r--r-- | docs | 15 | logplain |
| d--------- | patches | 183 | logplain |
| -rwxr-xr-x | purify_tarball | 497 | logplain |
| -rwxr-xr-x | rules | 4064 | logplain |
| -rw-r--r-- | watch | 155 | logplain |
 |
index : debian-coq | |
| Debian packaging for Coq |
| summaryrefslogtreecommitdiff |