16 lines
1.1 KiB
Plaintext
16 lines
1.1 KiB
Plaintext
BDEPEND=|| ( dev-lang/python:3.14 dev-lang/python:3.13 dev-lang/python:3.12 ) dev-build/make >=dev-build/cmake-3.28.5
|
|
DEFINED_PHASES=compile configure install prepare pretend setup test
|
|
DEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
|
|
DESCRIPTION=The Lean Theorem Prover
|
|
EAPI=8
|
|
HOMEPAGE=https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
|
|
INHERIT=check-reqs cmake flag-o-matic python-any-r1
|
|
IUSE=debug source
|
|
KEYWORDS=~amd64
|
|
LICENSE=Apache-2.0
|
|
RDEPEND=dev-libs/gmp:= dev-libs/libuv:= sci-mathematics/cadical
|
|
SLOT=0/4
|
|
SRC_URI=https://github.com/leanprover/lean4/archive/refs/tags/v4.25.0-rc2.tar.gz -> lean-4.25.0_rc2.tar.gz
|
|
_eclasses_=check-reqs 2a9731073c152554078a9a8df8fc0f1b toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db flag-o-matic a7afe42e95fb46ce9691605acfb24672 multiprocessing 1e32df7deee68372153dca65f4a7c21f ninja-utils 2df4e452cea39a9ec8fb543ce059f8d6 xdg-utils 42869b3c8d86a70ef3cf75165a395e09 cmake 2d36accef058c00889b1f93ea4bc4061 python-utils-r1 dbb8c4d794033ad7e7221eaf567a6c90 python-any-r1 891415dfe39ad9b41b461f2b86354af0
|
|
_md5_=48760dee67524d93db9a50cffcacb957
|