BDEPEND=doc? ( || ( ( dev-lang/python:3.14 dev-python/sphinx[python_targets_python3_14(-)] dev-python/sphinx-rtd-theme[python_targets_python3_14(-)] ) ( dev-lang/python:3.13 dev-python/sphinx[python_targets_python3_13(-)] dev-python/sphinx-rtd-theme[python_targets_python3_13(-)] ) ( dev-lang/python:3.12 dev-python/sphinx[python_targets_python3_12(-)] dev-python/sphinx-rtd-theme[python_targets_python3_12(-)] ) ( dev-lang/python:3.11 dev-python/sphinx[python_targets_python3_11(-)] dev-python/sphinx-rtd-theme[python_targets_python3_11(-)] ) ) )
DEFINED_PHASES=compile install prepare setup
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(-)]
DESCRIPTION=Software development for high-reliability applications
EAPI=8
HOMEPAGE=http://libre.adacore.com
INHERIT=ada python-any-r1 multiprocessing
IUSE=doc ada_target_gcc_12 ada_target_gcc_13 ada_target_gcc_14 ada_target_gcc_15 ada_target_gcc_16
KEYWORDS=~amd64 ~arm64
LICENSE=GPL-3
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
REQUIRED_USE=ada_target_gcc_14
SLOT=0
SRC_URI=https://github.com/AdaCore/spark2014/archive/ce5fad038790d5dc18f9b5345dc604f1ccf45b06.tar.gz -> spark-2024.01.11.tar.gz http://mirror.koddos.net/gcc/releases/gcc-14.2.0/gcc-14.2.0.tar.xz
_eclasses_=ada	38e5ef8cefdc0d1e5303a1e71014684e	eapi9-pipestatus	d2c134036ac31c3085aebc9147f572bd	flag-o-matic	fd3558f73f6503093adee69adf41020d	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	python-any-r1	891415dfe39ad9b41b461f2b86354af0	python-utils-r1	ae7ca7f9425ab1a1d2c909e225002f98	toolchain-funcs	58a918e3a42d0156f010dcfd43725be5
_md5_=861563f19c92b556a4f500d13abb894e