You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
889 B
16 lines
889 B
BDEPEND=>=dev-util/ninja-1.8.2 >=dev-util/cmake-3.20.5
|
|
DEFINED_PHASES=compile configure install postinst prepare test
|
|
DEPEND=dev-libs/gmp:=
|
|
DESCRIPTION=The Lean Theorem Prover
|
|
EAPI=8
|
|
HOMEPAGE=https://leanprover-community.github.io/
|
|
INHERIT=flag-o-matic cmake readme.gentoo-r1
|
|
IUSE=debug +threads
|
|
KEYWORDS=~amd64 ~x86
|
|
LICENSE=Apache-2.0
|
|
RDEPEND=dev-libs/gmp:=
|
|
SLOT=0/3
|
|
SRC_URI=https://github.com/leanprover-community/lean/archive/refs/tags/v3.50.1.tar.gz -> lean-3.50.1.tar.gz
|
|
_eclasses_=cmake 449b4785acace35308fe747fc939bde1 flag-o-matic 69394e25812406faa1f90edaf4969395 multilib 5ca4e49abed8e3a2f7b56920eadee157 multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 ninja-utils 38c85b725d0467e51954ea921b6c104b readme.gentoo-r1 b776ad4b42f564c406a95c41ccb42c55 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 xdg-utils ac0e315a3688929e34ac75b139e7349a
|
|
_md5_=9a0acb3193721cd936e6ac59b20e20bd
|