Summary
This package contains leanproject, a supporting tool for Lean mathlib. More info: - https://leanprover-community.github.io/toolchain.html#handling-dependencies - https://leanprover-community.github.io/leanproject.html
Versions
v1.3.2_p1 :: 0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- ~amd64 ~x86
- USE flags
- test
USE flags
General
- test
- Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
python_targets
- python3_10
- Build with Python 3.10
- python3_11
- Build with Python 3.11
- python3_12
- Build with Python 3.12
Runtime Dependencies
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-python / GitPython : Library used to interact with Git repositories
dev-python / PyGithub : Python library to access the Github API v3
dev-python / atomicwrites : Atomic file writes
dev-python / certifi : A certifi hack to use system trust store on Linux/FreeBSD
dev-python / click : A Python package for creating beautiful command line interfaces
dev-python / networkx : Python tools to manipulate graphs and complex networks
dev-python / pydot : Python interface to Graphviz's Dot language
dev-python / pyyaml : YAML parser and emitter for Python
dev-python / requests : HTTP library for human beings
dev-python / tomli : A lil' TOML parser
dev-python / tomli-w : A lil' TOML writer
dev-python / tqdm : Add a progress meter to your loops in a second
sci-mathematics / lean : The Lean Theorem Prover
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Pacho Ramos · gentoo
sci-mathematics/mathlib-tools: enable py3.12
Closes: https://bugs.gentoo.org/929794 Signed-off-by: Pacho Ramos <pacho@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Andrew Ammerlaan · gentoo
sci-mathematics/mathlib-tools: enable py3.11
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: patch to use tomli(-w)
Closes: https://bugs.gentoo.org/878681 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.3.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
sci-mathematics/mathlib-tools: Remove Python < 3.10
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.2.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.3.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.3.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.3.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.1.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.1.1-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: drop old 1.1.0-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.2.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.1.2
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: add python3.10 compat
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: bump to 1.1.1
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: consistent PYTHON_COMPAT style
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/mathlib-tools: new package; add version 1.1.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>