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
.
Packages
Packages