-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: metamath
Binary: metamath
Architecture: any
Version: 0.180-1
Maintainer: Giovanni Mascellani <gio@debian.org>
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:
 984473da5952ef79bb53f97b7fdfb1525f013159 444814 metamath_0.180.orig.tar.gz
 49d36e216ff4e8947e673a7d76ae7541a1977839 2088 metamath_0.180-1.debian.tar.xz
Checksums-Sha256:
 88f115f9236c38d5c90f2f0856485eeb020c1600381277613bfc486cf851d660 444814 metamath_0.180.orig.tar.gz
 d61e871650b24b6355f92b5dd33e9b1a513b8e7da3833799646ecdd43784044a 2088 metamath_0.180-1.debian.tar.xz
Files:
 1a71dd27349ecdbf8a4633c5847db3e5 444814 metamath_0.180.orig.tar.gz
 841dde1f8b3bfe6affebe8a6afa18f27 2088 metamath_0.180-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCXgcIrQAKCRCNr8EMz954
SRC6AQCemMakedvy2SS3GdE3+603D8AFBN+U/MJLoKXMzhPj8AEA0zTbYRwVedrI
WybhSHlU9PI0H3aRsNnjZPH6SUBHcQ8=
=mRLf
-----END PGP SIGNATURE-----