BDEPEND=doc? ( || ( ( 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(-)] ) ( dev-lang/python:3.10 dev-python/sphinx[python_targets_python3_10(-)] dev-python/sphinx-rtd-theme[python_targets_python3_10(-)] ) ) )
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(-),shared] ~dev-ada/gpr-24.2.0[ada_target_gcc_14(-)?,-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-)] 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(-)]
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
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(-),shared] ~dev-ada/gpr-24.2.0[ada_target_gcc_14(-)?,-ada_target_gcc_12(-),-ada_target_gcc_13(-),-ada_target_gcc_15(-)] 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	02ff4ede51c5f676746b340a6406accf	multiprocessing	1e32df7deee68372153dca65f4a7c21f	python-any-r1	891415dfe39ad9b41b461f2b86354af0	python-utils-r1	d1be7a6de225276141d669742d56f3f3	toolchain-funcs	f9d71a6efe9d083aec750dd13968e169
_md5_=f37d38206b9e476eed7d3c5fa6c93148