Package: metamath
Architecture: amd64
Version: 0.180-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: 814
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Filename: pool/universe/m/metamath/metamath_0.180-1_amd64.deb
Size: 335160
MD5sum: ab30de1d0d2f4df3831e11e410f396b8
SHA1: 5bc8ba4abea28f29ee36fb96dc6e27de69d61d8d
SHA256: 0161281b0dba7b4beb4656deb9bf4bfe36c235485a12bfdfde77c13164c13749
Homepage: http://us.metamath.org/
Description: Language for mathematical proofs
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b