Tree @debian/8.1.pl1+dfsg-2 (Download .tar.gz)
- ..
- patches
- 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
- purify_tarball
- README.Debian
- rules
- svn-deblayout
- TODO.Debian
- watch