在 bookworm 发行版中 arm64 硬件架构下的 coqprime-tools 软件包文件清单

/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