sci-mathematics / mathlib-tools

Development tools for Lean's mathlib

Official package sites : https://github.com/leanprover-community/mathlib-tools ·

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

v1.1.1 :: 0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~x86
USE flags
test

v1.1.0-r1 :: 0 :: gentoo

Modified
License
Apache-2.0
Keywords
~amd64 ~x86
USE flags
test

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_8
Build with Python 3.8
python3_9
Build with Python 3.9

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 / toml : Python library for handling TOML files

dev-python / tqdm : Add a progress meter to your loops in a second

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 / toml : Python library for handling TOML files

dev-python / tqdm : Add a progress meter to your loops in a second

sci-mathematics / lean : The Lean Theorem Prover

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>