File list of package coq in wheezy of architecture mips

/etc/emacs/site-start.d/50coq.el
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqwc
/usr/bin/gallina
/usr/lib/coq/plugins/micromega/csdpcert
/usr/lib/coq/states/initial.coq
/usr/lib/coq/tools/coqdoc/coqdoc.css
/usr/lib/coq/tools/coqdoc/coqdoc.sty
/usr/lib/emacsen-common/packages/install/coq
/usr/lib/emacsen-common/packages/remove/coq
/usr/share/coq/coqvars.mk
/usr/share/doc/coq/CREDITS.gz
/usr/share/doc/coq/NEWS.Debian.gz
/usr/share/doc/coq/README
/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/emacs/site-lisp/coq/coq-db.el
/usr/share/emacs/site-lisp/coq/coq-font-lock.el
/usr/share/emacs/site-lisp/coq/coq-inferior.el
/usr/share/emacs/site-lisp/coq/coq-syntax.el
/usr/share/emacs/site-lisp/coq/coq.el
/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/coqchk.1.gz
/usr/share/man/man1/coqdep.1.gz
/usr/share/man/man1/coqdoc.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