[  aramo  ]

Verwijzigingen voor metamath-databases

Trisquel bronnen:

• Probleemrapporten
• Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Giovanni Mascellani

Original Maintainer:

• Giovanni Mascellani

Externe bronnen:

• Homepage [us.metamath.org]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

metamath-databases

Sample databases for Metamath

Andere aan metamath-databases gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Pakket niet beschikbaar

• adep: metamath

  Language for mathematical proofs

Download metamath-databases

Bestand	Grootte (in kB)	MD5 checksum
metamath-databases_0.0.0~20210101.git55fe226-2.dsc	1,4 kB	c6f9f8512d9fb7de5d529947ff914414
metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz	12.605,9 kB	21b5f7f80f5f083f49d47a6930aaba95
metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz	3,1 kB	337c7aabc28725f0676316210a44d678

Debian Package Source Repository (VCS: Git)

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

Debian Package Source Repository (Browsable)

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