Liste des fichiers du paquet coq dans feisty pour l'architecture i386

/etc/emacs/site-start.d/50coq.el
/usr/bin/coq-interface
/usr/bin/coq-interface.opt
/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/coqtop.opt
/usr/bin/coqwc
/usr/bin/gallina
/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/emacs/site-lisp/coqdoc.sty
/usr/share/man/man1/coq-interface.1.gz
/usr/share/man/man1/coq-interface.opt.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