Package: metamath
Architecture: amd64
Version: 0.195-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Giovanni Mascellani <gio@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 842
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Filename: pool/universe/m/metamath/metamath_0.195-1_amd64.deb
Size: 343800
MD5sum: 2eca6a0545d0116b426738335a9e0a8d
SHA1: e5914f8499b87e23194fa1e2781919e12446da50
SHA256: 39eade4918aa78bda43e6aa312505810c915a1aaa4dc49dda31d72d001bcaa91
SHA512: 08f9676d3851bb59ff1198c5561b21ec6781ed8f0502072bdda7690f494e9e81ef0b20bd97ac418c41abd0f0c063d7ccc1373b10bf0f64330e16dc0ae3d8fc48
Homepage: http://us.metamath.org/
Description: Language for mathematical proofs
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b