» Ubuntu » Paquets » resolute (26.04LTS) » Source » misc » metamath
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Paquet source : metamath (0.198-2) [universe]

Liens pour metamath

Ressources Ubuntu :

Responsable :

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.

Les paquets binaires suivants sont compilés à partir de ce paquet source :
metamath
Language for mathematical proofs

Autres paquets associés à metamath

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paquet indisponible

Download metamath

FichierTaille (en ko)Somme MD5
metamath_0.198-2.dsc 1,2 ko 80bc5bf552fdbf528f89f96b9efb4c7c
metamath_0.198.orig.tar.gz 457,7 ko f08db9ef8d139e28a487cef027e9e552
metamath_0.198-2.debian.tar.xz 2,1 ko 91e69dff624f909d955087ab74650d94
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/debian/metamath.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/debian/metamath