package info
(click to toggle)
Folder: debian
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | patches | |
d | rwxr-xr-x | 27 | source | |
d | rwxr-xr-x | 85 | tests | |
- | rw-r--r-- | 335 | NEWS | |
- | rw-r--r-- | 687 | README.Debian | |
- | rw-r--r-- | 760 | README.source | |
- | rw-r--r-- | 164 | TODO | |
- | rw-r--r-- | 40,943 | changelog | |
- | rw-r--r-- | 4,329 | control | |
- | rw-r--r-- | 8,290 | copyright | |
- | rw-r--r-- | 53 | coq.docs | |
- | rw-r--r-- | 1,142 | coq.install.in | |
- | rw-r--r-- | 131 | coq.links.in | |
- | rw-r--r-- | 1,343 | coq.lintian-overrides | |
- | rw-r--r-- | 1,457 | coq.xpm | |
- | rw-r--r-- | 220 | coqide.desktop | |
- | rw-r--r-- | 367 | coqide.install.in | |
- | rw-r--r-- | 130 | coqide.links.in | |
- | rw-r--r-- | 284 | coqvars.mk.in | |
- | rw-r--r-- | 30 | gbp.conf | |
- | rw-r--r-- | 114 | libcoq-core-ocaml-dev.install.in | |
- | rw-r--r-- | 353 | libcoq-core-ocaml-dev.lintian-overrides | |
- | rw-r--r-- | 135 | libcoq-core-ocaml.install.in | |
- | rw-r--r-- | 438 | libcoq-core-ocaml.lintian-overrides | |
- | rw-r--r-- | 490 | libcoq-stdlib.doc-base | |
- | rw-r--r-- | 29 | libcoq-stdlib.docs | |
- | rw-r--r-- | 169 | libcoq-stdlib.install.in | |
- | rw-r--r-- | 157 | libcoq-stdlib.links | |
- | rw-r--r-- | 1,724 | libcoq-stdlib.lintian-overrides | |
- | rwxr-xr-x | 4,424 | rules | |
- | rw-r--r-- | 204 | watch |