Port details on branch 2022Q2 |
- mathlibtools Lean prover mathlib supporting tools
- 1.2.0_1 math =1 1.2.0_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2022-09-06 16:09:09
- Last Update: 2024-01-06 09:44:45
- Commit Hash: cf6c371
- People watching this port, also watch:: coreutils, vault, fcron, flock, monit
- Also Listed In: python
- License: APACHE20
- WWW:
- https://github.com/leanprover-community/mathlib-tools
- Description:
- mathlibtools contains leanproject, a supporting tool for Lean mathlib.
Lean is installed by the port math/lean.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- mathlibtools>0:math/mathlibtools
- To install the port:
- cd /usr/ports/math/mathlibtools/ && make install clean
- To add the package, run one of these commands:
- pkg install math/mathlibtools
- pkg install mathlibtools
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: mathlibtools
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1667631450
SHA256 (mathlibtools-1.2.0.tar.gz) = 8c85a23a67b50333797d4682b91ad9fbd204a4e2edaf5e3d516b37598bcfc918
SIZE (mathlibtools-1.2.0.tar.gz) = 27987
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-atomicwrites>0 : devel/py-atomicwrites@py39
- py39-certifi>0 : security/py-certifi@py39
- py39-click>0 : devel/py-click@py39
- py39-gitpython>=2.1.11 : devel/py-gitpython@py39
- py39-networkx>0 : math/py-networkx@py39
- py39-pydot>0 : graphics/py-pydot@py39
- py39-PyGithub>0 : devel/py-PyGithub@py39
- py39-pyaml>=3.13 : textproc/py-pyaml@py39
- py39-requests>0 : www/py-requests@py39
- py39-toml>=0.10.0 : textproc/py-toml@py39
- py39-tqdm>0 : misc/py-tqdm@py39
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_mathlibtools
- USES:
- python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|