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

Format: 3.0 (quilt)
Source: metamath
Binary: metamath
Architecture: any
Version: 0.195-1
Maintainer: Giovanni Mascellani <gio@debian.org>
Homepage: http://us.metamath.org/
Standards-Version: 4.5.1
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:
 7b4060f4b9b34a174ea2379e7525fb7722497f39 466876 metamath_0.195.orig.tar.gz
 f994a122862c922585c3f109f774e72c545de5e4 1928 metamath_0.195-1.debian.tar.xz
Checksums-Sha256:
 382f913637c7a0e2ce3be34b889df9d4f251fb035a33d0444611722702742396 466876 metamath_0.195.orig.tar.gz
 810c198dd9a73449b80752cf1e32554f4884967ce0076224dc642ca76beb36f5 1928 metamath_0.195-1.debian.tar.xz
Files:
 bffb43e3cf4f840807c6aea73f4d82fe 466876 metamath_0.195.orig.tar.gz
 8517a8cc7d5a846027df82a01dfd59b7 1928 metamath_0.195-1.debian.tar.xz

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

iHUEARYKAB0WIQSiBF6hBvCQNcghJEaNr8EMz954SQUCX+74dAAKCRCNr8EMz954
SVNXAQCtRkSgsnO4K7ihkeiQEXlc3qVYQjtFtj7C/G03weFNdQEAoJXQ/wBj6PuX
LDCpEaHVZOQO67K2eq+1pJL8f72zfQo=
=hvnD
-----END PGP SIGNATURE-----