[  nabia  ] [  aramo  ]

Odkazy pre metamath

Zdroje Trisquel:

• Hlásenia chýb
• Changelog
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Giovanni Mascellani

Original Maintainer:

• Giovanni Mascellani

Externé zdroje:

• Domovská stránka [us.metamath.org]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

metamath

Language for mathematical proofs

Ostatné balíky súvisiace s balíkom metamath

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Balík nie je dostupný

Download metamath

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
metamath_0.180-1.dsc	1.2 kB	3605029f7f3d1ee9b96d70798ddafc00
metamath_0.180.orig.tar.gz	434.4 kB	1a71dd27349ecdbf8a4633c5847db3e5
metamath_0.180-1.debian.tar.xz	2.0 kB	841dde1f8b3bfe6affebe8a6afa18f27

Úložisko zdrojových balíkov Debianu (VCS: Git)

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

Úložisko zdrojových balíkov Debianu (možno prezerať)

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