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