/debian/

• ../
• README.Debian
• TODO.Debian
• changelog
• compat
• control
• copyright
• coq-interface.1
• coq-libs.dirs
• coq-libs.doc-base
• coq-libs.install
• coq.dirs
• coq.docs
• coq.emacsen-install
• coq.emacsen-remove
• coq.emacsen-startup
• coq.install
• coq.menu
• coq.xpm
• coq_makefile.1
• coqc.1
• coqide.1
• coqide.desktop
• coqide.dirs
• coqide.docs
• coqide.install
• coqide.menu
• coqmktop.1
• coqtop.1
• docs
• patches
• purify_tarball
• rules
• svn-deblayout
• watch