/debian/

• ../
• NEWS
• README.Debian
• README.source
• TODO.Debian
• changelog
• clean
• compat
• control
• copyright
• coq-theories.dirs
• coq-theories.doc-base
• coq-theories.install.in
• coq-theories.links
• coq.dirs.in
• 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.docs
• coqide.install
• coqide.links.in
• coqide.menu
• coqvars.mk.in
• docs
• gbp.conf
• libcoq-ocaml-dev.install.in
• patches
• purify_tarball
• rules
• watch