Список файлов пакета debian-coq-tools в trixie для архитектуры all

/usr/bin/coq-check-packages
/usr/bin/coq-planif-transition
/usr/bin/coq-platform-comparison
/usr/bin/coq-wanna-build
/usr/lib/python3/dist-packages/coq_packages.py
/usr/share/doc/debian-coq-tools/changelog.gz
/usr/share/doc/debian-coq-tools/copyright
/usr/share/man/man1/coq-check-packages.1.gz
/usr/share/man/man1/coq-planif-transition.1.gz
/usr/share/man/man1/coq-platform-comparison.1.gz
/usr/share/man/man1/coq-wanna-build.1.gz