>>> Printing information for: portage://dev-lang/spark-2024.01.11-r2


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Software development for high-reliability applications
homepage : 
   http://libre.adacore.com
maintainer : 
   ada@gentoo.org
license : 
   GPL-3
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   ada_target_gcc_12
   ada_target_gcc_13
   ada_target_gcc_14
   ada_target_gcc_15
   ada_target_gcc_16
required_use : 
   ada_target_gcc_14
keywords : 
   unstable(amd64)
   unstable(arm64)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   ada
   eapi9-pipestatus
   multiprocessing
   python-utils-r1
   python-any-r1
defined_phases : 
   compile
   install
   prepare
   setup
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   spark-2024.01.11.tar.gz
   gcc-14.2.0.tar.xz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use doc
      any 
         all 
            dev-lang/python:3.14
            dev-python/sphinx [ python_targets_python3_14(-) ]
            dev-python/sphinx-rtd-theme [ python_targets_python3_14(-) ]
         all 
            dev-lang/python:3.13
            dev-python/sphinx [ python_targets_python3_13(-) ]
            dev-python/sphinx-rtd-theme [ python_targets_python3_13(-) ]
         all 
            dev-lang/python:3.12
            dev-python/sphinx [ python_targets_python3_12(-) ]
            dev-python/sphinx-rtd-theme [ python_targets_python3_12(-) ]

depend : 
   dev-ada/gnatcoll-core [ ada_target_gcc_14(-)? -ada_target_gcc_12(-) -ada_target_gcc_13(-) -ada_target_gcc_15(-) -ada_target_gcc_16(-) shared ]
   ~dev-ada/gpr-24.2.0 [ ada_target_gcc_14(-)? -ada_target_gcc_12(-) -ada_target_gcc_13(-) -ada_target_gcc_15(-) -ada_target_gcc_16(-) ]
   sci-mathematics/alt-ergo
   sci-mathematics/why3-for-spark
   dev-ada/gprbuild [ ada_target_gcc_14(-)? -ada_target_gcc_12(-) -ada_target_gcc_13(-) -ada_target_gcc_15(-) -ada_target_gcc_16(-) ]

idepend : 
   [not set]

rdepend : 
   dev-ada/gnatcoll-core [ ada_target_gcc_14(-)? -ada_target_gcc_12(-) -ada_target_gcc_13(-) -ada_target_gcc_15(-) -ada_target_gcc_16(-) shared ]
   ~dev-ada/gpr-24.2.0 [ ada_target_gcc_14(-)? -ada_target_gcc_12(-) -ada_target_gcc_13(-) -ada_target_gcc_15(-) -ada_target_gcc_16(-) ]
   sci-mathematics/alt-ergo
   sci-mathematics/why3-for-spark

pdepend : 
   [not set]