[ bianca ]

Quellcode-Paket: metamath (0.195-1)

Links für metamath

Betreuer:

Giovanni Mascellani

Externe Ressourcen:

Homepage [us.metamath.org]

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

metamath: Language for mathematical proofs

Andere Pakete mit Bezug zu metamath

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paket nicht verfügbar

Download metamath

Datei	Größe (in kB)	MD5-Prüfsumme
metamath_0.195-1.debian.tar.xz	1,9 kB	8517a8cc7d5a846027df82a01dfd59b7
metamath_0.195-1.dsc	1,2 kB	fecc945b080f639515958b133312297e
metamath_0.195.orig.tar.gz	455,9 kB	bffb43e3cf4f840807c6aea73f4d82fe

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/debian/metamath.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/debian/metamath