软件包名 描述信息 源码包名 软件包内容 全部搜索项

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

[ 源代码: metamath-databases  ]

metamath-databases 的相关链接

Ubuntu 的资源:

• 报告问题
• Ubuntu Changelog
• 版权文件

下载源码包 metamath-databases:

• [metamath-databases_0.0.0~20210101.git55fe226-2.dsc]
• [metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz]
• [metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz]

维护者:

• 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]

相似软件包:

• openzwave
• avldrums.lv2
• vflib3-bin
• avldrums.lv2-soundfont
• gbrowse-data
• krb5-gss-samples
• libvanessa-logger-sample
• sndfile-programs
• elektroid
• dxsamples
• nrefactory-samples

其他与 metamath-databases 有关的软件包

依赖

推荐

建议

enhances

• rec: metamath

  Language for mathematical proofs

下载 metamath-databases

下载可用于所有硬件架构的

硬件架构	软件包大小	安装后大小	文件
all	12,546.4 kB	48,088.0 kB	[文件列表]