/debian/
../
README.Debian
README.source
TODO.Debian
changelog
compat
control
copyright
coq-libs.dirs
coq-libs.doc-base
coq-libs.install
coq-libs.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
docs
patches
purify_tarball
rules
watch