>>> Printing information for: portage://app-emacs/lean-mode-0_p20230611-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Emacs mode for the Lean 3 theorem prover
homepage : 
   https://github.com/leanprover/lean-mode/
maintainer : 
   gnu-emacs@gentoo.org
license : 
   GPL-2+
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   unstable(amd64)
properties : 
   [not set]
eclasses : 
   elisp-common
   elisp
defined_phases : 
   compile
   configure
   info
   install
   postinst
   postrm
   prepare
   setup
   test
   unpack
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   lean-mode-0_p20230611.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   >=app-emacs/dash-2.18.1
   >=app-emacs/f-0.19.0
   >=app-emacs/flycheck-32
   >=app-emacs/s-1.10.0
   >=app-editors/emacs-27.2:*

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   >=app-emacs/dash-2.18.1
   >=app-emacs/f-0.19.0
   >=app-emacs/flycheck-32
   >=app-emacs/s-1.10.0
   >=app-editors/emacs-27.2:*

pdepend : 
   [not set]