Liste des fichiers du paquet metamath-databases dans sid pour l'architecture all

/usr/share/doc/metamath-databases/CONTRIBUTING.md.gz
/usr/share/doc/metamath-databases/README.Debian
/usr/share/doc/metamath-databases/changelog.Debian.gz
/usr/share/doc/metamath-databases/copyright
/usr/share/metamath/databases/big-unifier.mm
/usr/share/metamath/databases/demo0.mm
/usr/share/metamath/databases/hol.mm
/usr/share/metamath/databases/iset.mm
/usr/share/metamath/databases/miu.mm
/usr/share/metamath/databases/nf.mm
/usr/share/metamath/databases/peano.mm
/usr/share/metamath/databases/ql.mm
/usr/share/metamath/databases/set.mm