» Ubuntu » Paketit » jammy (22.04LTS) » Lähdepaketti » misc » mathlibtools
[  jammy  ]

Source Package: mathlibtools (1.1.0-1) [universe]

Links for mathlibtools

Ubuntu-palvelut:

Ylläpitäjä:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Python Team
  • Christopher Hoskin

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
mathlibtools
supporting tool for Lean mathlib

Muut pakettiin mathlibtools liittyvät paketit

  • build-depends
  • build-depends-indep
  • 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)
    Paketti ei saatavilla

Download mathlibtools

TiedostoKoko (kt)MD5-tarkiste
mathlibtools_1.1.0-1.dsc 2.0 kt d0d93e224489efdd511811fe333b3434
mathlibtools_1.1.0.orig.tar.gz 31.6 kt a02c877b6dceb533c2eb3a6b54b08834
mathlibtools_1.1.0-1.debian.tar.xz 2.2 kt 2474f31b10db37fc0c65c127bce46806
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/python-team/packages/mathlibtools.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/python-team/packages/mathlibtools