Tree @15df95b0-2265-435f-8858-7e334d669721/main (Download .tar.gz)

• ..
• patches
• source
• tests
• upstream
• 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
• watch