/etc/emacs/site-start.d/50coq.el /usr/bin/coq-interface /usr/bin/coq-tex /usr/bin/coq_makefile /usr/bin/coqc /usr/bin/coqdep /usr/bin/coqdoc /usr/bin/coqmktop /usr/bin/coqtop /usr/bin/coqtop.byte /usr/bin/coqwc /usr/bin/gallina /usr/lib/coq/contrib.cma /usr/lib/coq/grammar.cma /usr/lib/coq/highparsing.cma /usr/lib/coq/hightactics.cma /usr/lib/coq/interp.cma /usr/lib/coq/kernel.cma /usr/lib/coq/lib.cma /usr/lib/coq/library.cma /usr/lib/coq/parsing.cma /usr/lib/coq/pretyping.cma /usr/lib/coq/proofs.cma /usr/lib/coq/tactics.cma /usr/lib/coq/tools/coqdoc/coqdoc.css /usr/lib/coq/tools/coqdoc/coqdoc.sty /usr/lib/coq/toplevel.cma /usr/lib/emacsen-common/packages/install/coq /usr/lib/emacsen-common/packages/remove/coq /usr/share/doc/coq/README.Debian /usr/share/doc/coq/changelog.Debian.gz /usr/share/doc/coq/changelog.gz /usr/share/doc/coq/copyright /usr/share/doc/coq/utf8.v /usr/share/emacs/site-lisp/coq/coq-inferior.el /usr/share/emacs/site-lisp/coq/coq.el /usr/share/man/man1/coq-interface.1.gz /usr/share/man/man1/coq-tex.1.gz /usr/share/man/man1/coq_makefile.1.gz /usr/share/man/man1/coqc.1.gz /usr/share/man/man1/coqdep.1.gz /usr/share/man/man1/coqdoc.1.gz /usr/share/man/man1/coqmktop.1.gz /usr/share/man/man1/coqtop.1.gz /usr/share/man/man1/coqtop.byte.1.gz /usr/share/man/man1/coqtop.opt.1.gz /usr/share/man/man1/coqwc.1.gz /usr/share/man/man1/gallina.1.gz /usr/share/menu/coq /usr/share/pixmaps/coq.xpm /usr/share/texmf/tex/latex/misc/coqdoc.sty