[ bianca ]

Pakiet źródłowy: metamath (0.195-1)

Odnośniki dla metamath

Opiekun:

Giovanni Mascellani

Zasoby zewnętrzne:

Strona internetowa [us.metamath.org]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

metamath: Language for mathematical proofs

Inne pakiety związane z metamath

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Pakiet niedostępny

Download metamath

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
metamath_0.195-1.debian.tar.xz	1,9 KiB	8517a8cc7d5a846027df82a01dfd59b7
metamath_0.195-1.dsc	1,2 KiB	fecc945b080f639515958b133312297e
metamath_0.195.orig.tar.gz	455,9 KiB	bffb43e3cf4f840807c6aea73f4d82fe

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/debian/metamath.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/debian/metamath