Liste des fichiers du paquet coq dans nabia pour l'architecture amd64

/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqidetop
/usr/bin/coqidetop.opt
/usr/bin/coqpp
/usr/bin/coqproofworker.byte
/usr/bin/coqproofworker.opt
/usr/bin/coqqueryworker.byte
/usr/bin/coqqueryworker.opt
/usr/bin/coqtacticworker.byte
/usr/bin/coqtacticworker.opt
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/coqworkmgr
/usr/bin/doc_grammar
/usr/bin/votour
/usr/lib/coq/plugins/micromega/csdpcert
/usr/lib/coq/tools/CoqMakefile.in
/usr/lib/coq/tools/TimeFileMaker.py
/usr/lib/coq/tools/make-both-single-timing-files
/usr/lib/coq/tools/make-both-time-files
/usr/lib/coq/tools/make-one-time-file
/usr/lib/coq/tools/coqdoc/coqdoc.css
/usr/lib/coq/tools/coqdoc/coqdoc.sty
/usr/share/coq/coqvars.mk
/usr/share/doc/coq/CODE_OF_CONDUCT.md.gz
/usr/share/doc/coq/CONTRIBUTING.md.gz
/usr/share/doc/coq/CREDITS.gz
/usr/share/doc/coq/NEWS.Debian.gz
/usr/share/doc/coq/README.Debian
/usr/share/doc/coq/README.md.gz
/usr/share/doc/coq/TODO.Debian
/usr/share/doc/coq/changelog.Debian.gz
/usr/share/doc/coq/copyright
/usr/share/lintian/overrides/coq
/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/coqchk.opt.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/pixmaps/coq.xpm
/usr/share/python3/runtime.d/coq.rtupdate
/usr/share/texmf/tex/latex/misc/coqdoc.sty