Liste des fichiers du paquet eprover dans bookworm pour l'architecture arm64

/bin/checkproof
/bin/e_axfilter
/bin/e_deduction_server
/bin/e_ltb_runner
/bin/e_stratpar
/bin/eground
/bin/ekb_create
/bin/ekb_delete
/bin/ekb_ginsert
/bin/ekb_insert
/bin/epclextract
/bin/eprover
/usr/share/doc/eprover/changelog.Debian.gz
/usr/share/doc/eprover/copyright
/usr/share/man/man1/checkproof.1.gz
/usr/share/man/man1/e_axfilter.1.gz
/usr/share/man/man1/e_deduction_server.1.gz
/usr/share/man/man1/e_ltb_runner.1.gz
/usr/share/man/man1/e_stratpar.1.gz
/usr/share/man/man1/eground.1.gz
/usr/share/man/man1/ekb_create.1.gz
/usr/share/man/man1/ekb_delete.1.gz
/usr/share/man/man1/ekb_ginsert.1.gz
/usr/share/man/man1/ekb_insert.1.gz
/usr/share/man/man1/epclextract.1.gz
/usr/share/man/man1/eprover.1.gz