Liste des fichiers du paquet metamath dans bookworm pour l'architecture amd64
/usr/bin/metamath /usr/share/doc/metamath/changelog.Debian.gz /usr/share/doc/metamath/copyright /usr/share/man/man1/metamath.1.gz
/usr/bin/metamath /usr/share/doc/metamath/changelog.Debian.gz /usr/share/doc/metamath/copyright /usr/share/man/man1/metamath.1.gz