Package - metamath

Package:  metamath
apt-get install metamath
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/metamath/metamath_0.195-1_amd64.deb (Size: 335.6KiB)

PropertyValue
Packagemetamath
Version0.195-1
Installed-Size838
MaintainerGiovanni Mascellani
Architectureamd64
Dependslibc6 (>= 2.14)
Suggestsmetamath-databases
DescriptionLanguage for mathematical proofs
Description-md54e59e766d3a9f9187c1c0bd8ff09b56b
Homepagehttp://us.metamath.org/
Sectionmath
Priorityoptional
Filenamepool/main/m/metamath/metamath_0.195-1_amd64.deb
Size343644
MD5sum14c17e3cd6a2542cce6bb902b27fe621
SHA256c3ff523d1b8d7f28934a3b52fe1bcf084ec6dbf3e3e626310901eeb92f6bdd64

Files in package

  • /usr/bin/metamath
  • /usr/share/doc/metamath/changelog.Debian.gz
  • /usr/share/doc/metamath/copyright
  • /usr/share/man/man1/metamath.1.gz