Källkodspaket: mathlibtools (1.1.0-1) [universe]

Länkar för mathlibtools

Ubunturesurser:

• Felrapporter
• Ändringslogg för Ubuntu
• Upphovsrättsfil
• Debians källkodsarkiv (Git)

Ansvarig:

• Ubuntu MOTU Developers (E-postarkiv)

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.

Externa resurser:

• Hemsida [github.com]

mathlibtools

supporting tool for Lean mathlib

Andra paket besläktade med 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)

  Paketet inte tillgängligt

Download mathlibtools

Debians paketkällkodsarkiv- (VCS: Git)

https://salsa.debian.org/python-team/packages/mathlibtools.git

Debians paketkällkodsarkiv (blädderbart)

https://salsa.debian.org/python-team/packages/mathlibtools