-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: metamath-databases Binary: metamath-databases Architecture: all Version: 0.0.0~20210101.git55fe226-2build1 Maintainer: Giovanni Mascellani Homepage: http://us.metamath.org/ Standards-Version: 4.5.1 Vcs-Browser: https://salsa.debian.org/debian/metamath-databases Vcs-Git: https://salsa.debian.org/debian/metamath-databases.git Build-Depends: debhelper-compat (= 13), metamath Package-List: metamath-databases deb math optional arch=all Checksums-Sha1: d2ab3dace883dda9a2e8e9777f03bb5b5424062a 12908456 metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 837d9bb5059a5542d86b4f403a6ada82a3c2373e 3316 metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz Checksums-Sha256: 2be8655e3ff170fb3097c50b9100c082dbe987257a6b9e81f0c757e5fe484a4b 12908456 metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 998845de9cca804de61c0a890a674191d1f0face43439ec86709f44ef94e5cba 3316 metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz Files: 21b5f7f80f5f083f49d47a6930aaba95 12908456 metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz 9a26028244da6aa9cf3772306c3b9e31 3316 metamath-databases_0.0.0~20210101.git55fe226-2build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlBvk0ACgkQr8/sjmac 4cJ8kA/8Dk01I24b095aMKggz7xsIr54fpfLMcacVVd+FEidL7hgS1awGNHWuYb2 NgJM01eNeSf0zJBtSSE6/4g1rW2X4JHjf5HCgDAF0yoLpEfmKL5KMwqrGj2ftzmB 740uUY/dmT9vpFWrN1G7R2IAh+mBj0UAy2NaE92JOKgmQdBTEXZon/5bxIGr4qNH x4k7/3VVKopil1/6J/w8/nTXXukAyBdfIPsbLHm8hHXN8INvRFE5SbRnLEsSo4Bk ERPiU79XeZ2jmRO366RVopAGcIcxMjq2MLSlUlBjWH8unYcMcvcA3nqDCTLnfiEL 3LETGroylRiybE4n7TRdQ24xeT2M4cNxQ9DDIog//bLEotdo5yXvPjneqpi4r76r 1sYYNK6nCxv0NivYBbyzQw7QP7Dde5SPldVckRsE87IEngwS+6b+/sRZAJnAhhY8 k+HsHAO1H5xlLQCcY3kwTf4vFM0FoEseRH5Z/kgM8PjbnrpgwTz7tBMSxv/dVn/z /JBSuWl/h6aAN9IR4CQq8w3gwq1AC1uQw7m5TYYd57WKJdZ5/K7kw2ctYDfPPXdM 67QQUmlK4RWnCnJ4z1prdgrEdgvxvA2RygxGxZelCb9jjIl8I/L5jbgMONLRTYVT exYEOi1p7KnKm2q5BzQysf811F2oC/qyGkfowZ6GCLW/whmQyOQ= =cwBM -----END PGP SIGNATURE-----