>> Trisquel >> Packages >> aramo >> Source >> misc >> metamath

[ nabia ] [ aramo ]

Source Package: metamath (0.195-1)

Links for metamath

Trisquel Resources:

Maintainer:

Giovanni Mascellani

Original Maintainer:

Giovanni Mascellani

External Resources:

Homepage [us.metamath.org]

The following binary packages are built from this source package:

metamath: Language for mathematical proofs

Other Packages Related to metamath

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Package not available

Download metamath

File	Size (in kB)	MD5 checksum
metamath_0.195-1.dsc	1.2 kB	fecc945b080f639515958b133312297e
metamath_0.195.orig.tar.gz	455.9 kB	bffb43e3cf4f840807c6aea73f4d82fe
metamath_0.195-1.debian.tar.xz	1.9 kB	8517a8cc7d5a846027df82a01dfd59b7

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/debian/metamath.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/debian/metamath