[ bookworm ]

源码包：mathlibtools（1.1.0-1）

mathlibtools 的相关链接

Debian 的资源：

维护小组：

外部的资源：

主页 [github.com]

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

mathlibtools: supporting tool for Lean mathlib

其他与 mathlibtools 有关的软件包

构建架构特定包依赖

构建架构独立包依赖

adep: dh-python

Debian helper tools for packaging Python libraries and applications
adep: python3-setuptools

Python3 Distutils Enhancements
adep: python3-all

package depending on all supported Python 3 runtime versions
adep: debhelper-compat (= 13)

软件包暂时不可用

Download mathlibtools

文件	大小（单位：kB）	MD5 校验码
mathlibtools_1.1.0-1.dsc	2.0 kB	d0d93e224489efdd511811fe333b3434
mathlibtools_1.1.0.orig.tar.gz	31.6 kB	a02c877b6dceb533c2eb3a6b54b08834
mathlibtools_1.1.0-1.debian.tar.xz	2.2 kB	2474f31b10db37fc0c65c127bce46806

Debian 软件包源码仓库（VCS：Git）: https://salsa.debian.org/python-team/packages/mathlibtools.git
Debian 软件包源码仓库（可在线浏览）: https://salsa.debian.org/python-team/packages/mathlibtools