/debian/
../
README.Debian
changelog
compat
control
copyright
coq-libs.install
coq.desktop
coq.dirs
coq.emacsen-install
coq.emacsen-remove
coq.emacsen-startup
coq.install
coq.menu
coq.xpm
coq7-libs.install
coqide.dirs
coqide.install
docs
rules