[  nabia  ] [  aramo  ]

Links for metamath

Trisquel-palvelut:

• Vikailmoitukset
• Changelog
• Tekijänoikeustiedosto
• Debian Source Repository (Git)

Ylläpitäjä:

• Giovanni Mascellani

Original Maintainer:

• Giovanni Mascellani

External Resources:

• Kotisivu [us.metamath.org]

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

metamath

Language for mathematical proofs

Muut pakettiin metamath liittyvät paketit

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Paketti ei saatavilla

Download metamath

Tiedosto	Koko (kt)	MD5-tarkiste
metamath_0.180-1.dsc	1.2 kt	3605029f7f3d1ee9b96d70798ddafc00
metamath_0.180.orig.tar.gz	434.4 kt	1a71dd27349ecdbf8a4633c5847db3e5
metamath_0.180-1.debian.tar.xz	2.0 kt	841dde1f8b3bfe6affebe8a6afa18f27

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/debian/metamath.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/debian/metamath