Tree @debian/8.9.1-5 (Download .tar.gz)

• ..
• patches
• source
• tests
• changelog
• control
• copyright
• coq-theories.dirs
• coq-theories.doc-base
• coq-theories.install.in
• coq-theories.links
• coq-theories.lintian-overrides
• coq.install.in
• coq.links.in
• coq.lintian-overrides
• coq.xpm
• coqide.1
• coqide.desktop
• coqide.dirs
• coqide.install.in
• coqide.links.in
• coqvars.mk.in
• docs
• gbp.conf
• libcoq-ocaml-dev.install.in
• libcoq-ocaml.install.in
• NEWS
• not-installed
• README.Debian
• README.source
• rules
• TODO.Debian
• watch