-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: metamath Binary: metamath Architecture: any Version: 0.198-2 Maintainer: Giovanni Mascellani Homepage: https://us.metamath.org/ Standards-Version: 4.7.2 Vcs-Browser: https://salsa.debian.org/debian/metamath Vcs-Git: https://salsa.debian.org/debian/metamath.git Build-Depends: debhelper-compat (= 13) Package-List: metamath deb math optional arch=any Checksums-Sha1: ef86b9339581505c4eebdc432781aff7b500da3a 468643 metamath_0.198.orig.tar.gz 3dbc5eb2c935ab90a6076906e0749b763b4f210e 2188 metamath_0.198-2.debian.tar.xz Checksums-Sha256: 01c4a30d676c249a2aefe76b3bfcee04469f3fcd67a951c221de0e2762bdbe34 468643 metamath_0.198.orig.tar.gz c544861c70aeaf72a4055c5e3a7f918245a03be1301ec3b2718cc02b04f805e6 2188 metamath_0.198-2.debian.tar.xz Files: f08db9ef8d139e28a487cef027e9e552 468643 metamath_0.198.orig.tar.gz 91e69dff624f909d955087ab74650d94 2188 metamath_0.198-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCaTWg+wAKCRCNr8EMz954 SdHEAQCg4BbyJ+kEn9tvOokaU6g0Ot4OSQFRtTzGfmc/SIAJsAD/ciHrbbgzW+Jv vfc4BkMTi9Nc5O9sTAMwvK2y77qCSQE= =OmMg -----END PGP SIGNATURE-----