Tree @00881e91-0466-43bc-9a84-9934f1cdd71d/main (Download .tar.gz)
- ..
- patches
- source
- tests
- changelog
- control
- copyright
- coq.docs
- coq.install.in
- coq.links.in
- coq.lintian-overrides
- coq.xpm
- coqide.desktop
- coqide.install.in
- coqide.links.in
- coqvars.mk.in
- gbp.conf
- libcoq-core-ocaml-dev.install.in
- libcoq-core-ocaml-dev.lintian-overrides
- libcoq-core-ocaml.install.in
- libcoq-core-ocaml.lintian-overrides
- libcoq-stdlib.doc-base
- libcoq-stdlib.docs
- libcoq-stdlib.install.in
- libcoq-stdlib.links
- libcoq-stdlib.lintian-overrides
- NEWS
- README.Debian
- README.source
- rules
- TODO
- watch