>>> Printing information for: portage://dev-lang/idris2-0.7.0-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Purely functional programming language with first class types
homepage : 
   https://idris-lang.org/
maintainer : 
   scheme@gentoo.org
license : 
   BSD
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   +chez
   doc
   minimal
   racket
   test-full
required_use : 
   one 
      chez
      racket
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   check-reqs
   toolchain-funcs
   flag-o-matic
   dot-a
defined_phases : 
   compile
   configure
   install
   prepare
   pretend
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   idris2-0.7.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use doc
      dev-python/sphinx-rtd-theme
   use test-full
      dev-scheme/chez [ threads ]
      dev-scheme/racket [ threads ]
      net-libs/nodejs

depend : 
   dev-libs/gmp:=
   use chez
      dev-scheme/chez:= [ threads ]
   use racket
      dev-scheme/racket:= [ threads ]

idepend : 
   [not set]

rdepend : 
   dev-libs/gmp:=
   use chez
      dev-scheme/chez:= [ threads ]
   use racket
      dev-scheme/racket:= [ threads ]

pdepend : 
   [not set]