Список файлов пакета coq в sid для архитектуры m68k

/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