>>> Printing information for: portage://sci-mathematics/lean-4.24.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   The Lean Theorem Prover
homepage : 
   https://leanprover-community.github.io/ https://github.com/leanprover/lean4/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   Apache-2.0
eapi : 
   8
slot : 
   0
subslot : 
   4

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   debug
   source
required_use : 
   [not set]
keywords : 
   stable(amd64)
properties : 
   [not set]
eclasses : 
   check-reqs
   toolchain-funcs
   flag-o-matic
   multiprocessing
   ninja-utils
   xdg-utils
   cmake
   eapi9-pipestatus
   python-utils-r1
   python-any-r1
defined_phases : 
   compile
   configure
   install
   prepare
   pretend
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   lean-4.24.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   any 
      dev-lang/python:3.14
      dev-lang/python:3.13
      dev-lang/python:3.12
   dev-build/make
   >=dev-build/cmake-3.28.5

depend : 
   dev-libs/gmp:=
   dev-libs/libuv:=
   sci-mathematics/cadical

idepend : 
   [not set]

rdepend : 
   dev-libs/gmp:=
   dev-libs/libuv:=
   sci-mathematics/cadical

pdepend : 
   [not set]