Format: 3.0 (quilt) Source: metamath Binary: metamath Architecture: any Version: 0.195-1 Maintainer: Giovanni Mascellani 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