usr/bin/coqc*
usr/bin/coqdep*
usr/bin/coqdoc*
usr/bin/coq_makefile*
usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/gallina*
usr/bin/coqworkmgr*
usr/lib/coq/plugins/micromega/csdpcert
usr/lib/coq/tools/coqdoc/coqdoc.css
usr/lib/coq/tools/coqdoc/coqdoc.sty
usr/share/emacs/site-lisp/coq/
usr/share/man/man1/coqc*
usr/share/man/man1/coqdep*
usr/share/man/man1/coqdoc*
usr/share/man/man1/coq_makefile*
usr/share/man/man1/coq-tex*
usr/share/man/man1/coqtop*
usr/share/man/man1/coqwc*
usr/share/man/man1/gallina*
usr/share/texmf/tex/latex/misc/coqdoc.sty
debian/coq.xpm                          usr/share/pixmaps
debian/coqvars.mk                       usr/share/coq