Paketin coqprime-tools tiedostoluettelo jakelussa bookworm arkkitehtuurilla arm64
/usr/bin/firstprimes /usr/bin/o2v /usr/bin/pocklington /usr/share/doc/coqprime-tools/changelog.Debian.arm64.gz /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