Filförteckning för paketet coq-serapi i sid för arkitekturen ppc64el

/usr/bin/sercomp
/usr/bin/sername
/usr/bin/sertok
/usr/bin/sertop
/usr/share/doc/coq-serapi/changelog.Debian.gz
/usr/share/doc/coq-serapi/changelog.Debian.ppc64el.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