Liste des fichiers du paquet debian-coq-tools dans bookworm pour l'architecture 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