在 bianca 發行版中 amd64 硬體架構下的 coq-serapi 套件檔案清單

/usr/bin/sercomp
/usr/bin/sername
/usr/bin/sertok
/usr/bin/sertop
/usr/share/doc/coq-serapi/changelog.Debian.amd64.gz
/usr/share/doc/coq-serapi/changelog.Debian.gz
/usr/share/doc/coq-serapi/changelog.gz
/usr/share/doc/coq-serapi/copyright
/usr/share/emacs/site-lisp/sertop.el
/usr/share/man/man1/sercomp.1.gz
/usr/share/man/man1/sername.1.gz
/usr/share/man/man1/sertok.1.gz
/usr/share/man/man1/sertop.1.gz