File list of package coqprime-tools in sid of architecture s390x

/usr/bin/firstprimes
/usr/bin/o2v
/usr/bin/pocklington
/usr/share/doc/coqprime-tools/changelog.Debian.gz
/usr/share/doc/coqprime-tools/copyright
/usr/share/man/man1/firstprimes.1.gz
/usr/share/man/man1/o2v.1.gz
/usr/share/man/man1/pocklington.1.gz