[ 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