blob: cfd64333f607c6249194f5f0963e5dd9bb66bd63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
DEFINED_PHASES=compile install prepare
DEPEND=dev-lang/gnat-gpl:6.3.0 >=dev-ada/gnatcoll-2017[gnat_2017,projects] || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) sci-mathematics/alt-ergo sci-mathematics/why3-for-spark dev-ada/gprbuild[gnat_2017]
DESCRIPTION=Software development for high-reliability applications.
EAPI=6
HOMEPAGE=http://libre.adacore.com
KEYWORDS=~amd64
LICENSE=GPL-3
RDEPEND=dev-lang/gnat-gpl:6.3.0 >=dev-ada/gnatcoll-2017[gnat_2017,projects] || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] ) sci-mathematics/alt-ergo sci-mathematics/why3-for-spark
SLOT=0
SRC_URI=http://mirrors.cdn.adacore.com/art/591c4777c7a447af2deed05e -> spark-gpl-2017-src.tar.gz http://mirrors.cdn.adacore.com/art/591adbb4c7a4473fcc4532a3 -> gnat-gpl-2017-src.tar.gz
_eclasses_=multilib 97f470f374f2e94ccab04a2fb21d811e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 1e35303c63cd707f6c3422b4493d5607
_md5_=896471117675bedfc0010173489664e1
|
