-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: metamath Binary: metamath Architecture: any Version: 0.183-1 Maintainer: Giovanni Mascellani Homepage: http://us.metamath.org/ Standards-Version: 4.4.1 Vcs-Browser: https://salsa.debian.org/debian/metamath Vcs-Git: https://salsa.debian.org/debian/metamath.git Build-Depends: debhelper-compat (= 12) Package-List: metamath deb math optional arch=any Checksums-Sha1: 59d1e5a756eb3e8d0b0ea4769330175bfb29404f 447130 metamath_0.183.orig.tar.gz cf0b605b38067ed41920adaa24ecd8d655ba5202 1872 metamath_0.183-1.debian.tar.xz Checksums-Sha256: 5c60de534c52269da4e049b35ed5ba2471776b894beaf32c8e3e25d4f41ef6a0 447130 metamath_0.183.orig.tar.gz ea220c487fbffec21856a4793c7a1ff7eb7d1b69c903dd47948915140d629d0b 1872 metamath_0.183-1.debian.tar.xz Files: 810c8849ac2b7776d2424e067486a2a7 447130 metamath_0.183.orig.tar.gz bc20373e5188735d1ae7d31ed745d29e 1872 metamath_0.183-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXwsyjwAKCRCNr8EMz954 STw1AQDV27V4E38wHfnF75Ytb/y86UiBsL8NK7+2RysvbhGX1wD9F7aR2Ey3i3U8 SRnsMPh+LW94cIGMgagKsIb1oHLK6Aw= =m5DF -----END PGP SIGNATURE-----