-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: metamath Binary: metamath Architecture: any Version: 0.198-1 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 bfa6b6d87b8bf093a2ed20372aedd733082a13ea 2048 metamath_0.198-1.debian.tar.xz Checksums-Sha256: 01c4a30d676c249a2aefe76b3bfcee04469f3fcd67a951c221de0e2762bdbe34 468643 metamath_0.198.orig.tar.gz f91e521068b00945df92d9c404197a774c9deec6ecefd5492c67d5c4cd3f9643 2048 metamath_0.198-1.debian.tar.xz Files: f08db9ef8d139e28a487cef027e9e552 468643 metamath_0.198.orig.tar.gz 7112af3c1203e08d93d58f25d1fc8d9d 2048 metamath_0.198-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCaTSetwAKCRCNr8EMz954 SQeSAPwINDaUwNMuAc21MxZeQCzkH/hceFrrWw9ec7thZtM1/gEAzJfkgtA5BpTd OEhIeE6QUySxUDfMsD6nyU3GFf2u1gI= =D+9O -----END PGP SIGNATURE-----