Bestandenoverzicht voor pakket debian-coq-tools in bookworm voor het platform all

/usr/bin/coq-planif-transition
/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-planif-transition.1.gz
/usr/share/man/man1/coq-wanna-build.1.gz