Package: metamath-databases
Priority: optional
Section: universe/math
Installed-Size: 48088
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 0.0.0~20210101.git55fe226-2build1
Recommends: metamath
Filename: pool/universe/m/metamath-databases/metamath-databases_0.0.0~20210101.git55fe226-2build1_all.deb
Size: 13441564
MD5sum: e233c58e0022ec5eac6c1822ba1434a7
SHA1: 439839dba25352c25f1edf007b8f522309d50f89
SHA256: 6e4b443878239275e4cd7c0c6ab7f602986c7397aa0ff81e51896405dce61585
SHA512: 78af7c0e4d193e4c3d692aac8c1f913df04e8fe825af91e2533387ff5a08d8441d6b05efa79b89df2ee9cc333e832a4ad0e37792d322bd2e38c3b0fc2c5fd10d
Homepage: http://us.metamath.org/
Description: Sample databases for Metamath
Description-md5: e2d0fae982e8a7f85b1ec36b0ea4d5fa
Original-Maintainer: Giovanni Mascellani <gio@debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug