Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

sci-mathematics/
mathlib-tools

Development tools for Lean's mathlib

https://github.com/leanprover-community/mathlib-tools

Overview Dependencies QA report Pull requests 0 Bugs 0 Security 0 Changelog

Dependencies Reverse-Dependencies

  • 1.1.1
    Version RDEPEND DEPEND BDEPEND PDEPEND
    dev-lang/python
    dev-python/GitPython
    dev-python/PyGithub
    dev-python/atomicwrites
    dev-python/certifi
    dev-python/click
    dev-python/networkx
    dev-python/pydot
    dev-python/pytest
    dev-python/pyyaml
    dev-python/requests
    dev-python/setuptools
    dev-python/toml
    dev-python/tqdm
    sci-mathematics/lean
  • 1.1.0-r1
    Version RDEPEND DEPEND BDEPEND PDEPEND
    dev-lang/python
    dev-python/GitPython
    dev-python/PyGithub
    dev-python/atomicwrites
    dev-python/certifi
    dev-python/click
    dev-python/networkx
    dev-python/pydot
    dev-python/pytest
    dev-python/pyyaml
    dev-python/requests
    dev-python/setuptools
    dev-python/toml
    dev-python/tqdm
    sci-mathematics/lean

Description

The dependencies are regularly computed based on the qa-reports.

Gentoo Packages Database

Data as current of
May 23, 2022 01:55:43 UTC

Questions or comments?

Please feel free to contact us.

v1.0.0

© 2001–2021 Gentoo Foundation, Inc.
Gentoo is a trademark of the Gentoo Foundation, Inc. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.0