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
 09371b0e3a9edf5e0ebcbaac7222e9f005f29ddd 1936 metamath_0.195-1.debian.tar.xz
Checksums-Sha256:
 382f913637c7a0e2ce3be34b889df9d4f251fb035a33d0444611722702742396 466876 metamath_0.195.orig.tar.gz
 520839cac8dc431629dce9fe452e75d48338fec3794f7fdc885fa48a13f049ce 1936 metamath_0.195-1.debian.tar.xz
Files:
 bffb43e3cf4f840807c6aea73f4d82fe 466876 metamath_0.195.orig.tar.gz
 2b88e8c48df5e8bb75a4bb21c9553f04 1936 metamath_0.195-1.debian.tar.xz