File list of package coq-serapi in bianca of architecture amd64

/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