[ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：metamath（0.195-1）

metamath 的相关链接

Debian 的资源：

维护者：

Giovanni Mascellani (QA 页面)

外部的资源：

主页 [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