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
 a03121c129e2e8b925a7c07ef7f3b629aa2e2afc 1932 metamath_0.195-1.debian.tar.xz
Checksums-Sha256:
 382f913637c7a0e2ce3be34b889df9d4f251fb035a33d0444611722702742396 466876 metamath_0.195.orig.tar.gz
 a9e0e983320b5b27c49334748220ee6f3a69ac0fbd5e4c3b15697767ae402d29 1932 metamath_0.195-1.debian.tar.xz
Files:
 bffb43e3cf4f840807c6aea73f4d82fe 466876 metamath_0.195.orig.tar.gz
 844cfc9e783f6e60e451b9b6208f4208 1932 metamath_0.195-1.debian.tar.xz