» Ubuntu » 软件包 » questing (25.10) » 源代码 » misc » metamath

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

源码包: metamath (0.195-1) [universe]

metamath 的相关链接

Ubuntu 的资源:

维护者:

Ubuntu MOTU Developers (Mail Archive)

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.

外部的资源:

主页 [us.metamath.org]

本源码包构建了以下这些二进制包:

metamath: Language for mathematical proofs

其他与 metamath 有关的软件包

完整构建时刻依赖

单独构建时刻依赖

adep: debhelper-compat (= 13)

软件包暂时不可用

Download metamath

文件	大小(单位: kB)	MD5 校验码
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 软件包源码仓库(VCS: Git): https://salsa.debian.org/debian/metamath.git
Debian 软件包源码仓库(可在线浏览): https://salsa.debian.org/debian/metamath