Skip to content
Sections
>> Trisquel >> 套件 >> aramo >> 原始碼 >> misc >> mathlibtools
aramo  ]

原始碼套件: mathlibtools (1.1.0-1)

mathlibtools 的相關超連結

Trisquel 的資源:

維護者:

Original Maintainers:

  • Debian Python Team
  • Christopher Hoskin

外部的資源:

本原始碼套件構建了以下這些二進制套件:
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