» Ubuntu » Paketler » questing (25.10) » Kaynak » misc » metamath

[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Kaynak Paket: metamath (0.195-1) [universe]

metamath için bağlantılar

Ubuntu Kaynakları:

Geliştirici:

Ubuntu MOTU Developers (Posta Arşivi)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

Giovanni Mascellani

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

Ana Sayfa [us.metamath.org]

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

metamath: Language for mathematical proofs

metamath ile İlgili Diğer Paketler

inşa bağımlılıkları

bağımsız inşa bağımlılıkları

adep: debhelper-compat (= 13)

Paket mevcut değil

Download metamath

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
metamath_0.195-1.dsc	1,2 kB	fecc945b080f639515958b133312297e
metamath_0.195.orig.tar.gz	455,9 kB	bffb43e3cf4f840807c6aea73f4d82fe
metamath_0.195-1.debian.tar.xz	1,9 kB	8517a8cc7d5a846027df82a01dfd59b7

Debian Paket Kaynak Deposu (VCS: Git): https://salsa.debian.org/debian/metamath.git
Debian Paket Kaynak Deposu (Gezinilebilir): https://salsa.debian.org/debian/metamath