在 aramo 发行版中 armhf 硬件架构下的 coq 软件包文件清单

/usr/bin/coq-makefile-make-both-single-timing-files
/usr/bin/coq-makefile-make-both-time-files
/usr/bin/coq-makefile-make-one-time-file
/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqc.byte
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqidetop.byte
/usr/bin/coqidetop.opt
/usr/bin/coqnative
/usr/bin/coqpp
/usr/bin/coqproofworker.opt
/usr/bin/coqqueryworker.opt
/usr/bin/coqtacticworker.opt
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/coqworkmgr
/usr/bin/csdpcert
/usr/bin/ocamllibdep
/usr/bin/votour
/usr/lib/ocaml/coq-core/tools/CoqMakefile.in
/usr/lib/ocaml/coq-core/tools/TimeFileMaker.py
/usr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css
/usr/lib/ocaml/coq-core/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/coqc.byte.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/coqnative.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/texmf/tex/latex/misc/coqdoc.sty