Tree @debian/8.4_gamma0+really8.4beta2+dfsg-1 (Download .tar.gz)

• ..
• patches
• source
• changelog
• compat
• control
• copyright
• coq-theories.dirs
• coq-theories.doc-base
• coq-theories.install.in
• coq-theories.links
• coq.emacsen-install
• coq.emacsen-remove
• coq.emacsen-startup
• coq.install.in
• coq.links.in
• coq.menu
• coq.xpm
• coqide.1
• coqide.desktop
• coqide.dirs
• coqide.install
• coqide.links.in
• coqide.menu
• coqvars.mk.in
• docs
• gbp.conf
• libcoq-ocaml-dev.install.in
• libcoq-ocaml.install.in
• NEWS
• purify_tarball
• README.Debian
• README.source
• rules
• TODO.Debian
• watch