DEFINED_PHASES=compile install prepare
DEPEND=dev-lang/gnat-gpl:7.3.1 dev-ada/gnatcoll-core[gnat_2018,shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark dev-ada/gprbuild[gnat_2018]
DESCRIPTION=Software development for high-reliability applications.
EAPI=6
HOMEPAGE=http://libre.adacore.com
KEYWORDS=amd64
LICENSE=GPL-3
RDEPEND=dev-lang/gnat-gpl:7.3.1 dev-ada/gnatcoll-core[gnat_2018,shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark
SLOT=0
SRC_URI=http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a47 -> spark-gpl-2018-src.tar.gz http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27aa5 -> gnat-gpl-2018-src.tar.gz
_eclasses_=multilib	1d91b03d42ab6308b5f4f6b598ed110e	multiprocessing	cac3169468f893670dac3e7cb940e045	toolchain-funcs	2f8b8f320bee13b71a8a54cc6d09e08a
_md5_=451d72ffa6e3174f8cbb25f0677be9cb