» Ubuntu » Packages » jammy (22.04LTS) » Source » misc » mathlibtools
[  jammy  ]

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

Links for mathlibtools

Ubuntu Resources:

Maintainer:

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:

The following binary packages are built from this source package:
mathlibtools
supporting tool for Lean mathlib

Other Packages Related to mathlibtools

  • 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)
    Package not available

Download mathlibtools

FileSize (in kB)MD5 checksum
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 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