/debian/
../
README.Debian
README.source
TODO.Debian
changelog
compat
control
copyright
coq-libs.dirs
coq-libs.doc-base
coq-libs.install
coq.dirs
coq.emacsen-install
coq.emacsen-remove
coq.emacsen-startup
coq.install
coq.menu
coq.xpm
coqide.1
coqide.desktop
coqide.dirs
coqide.docs
coqide.install
coqide.menu
docs
patches
purify_tarball
rules
watch