calculate
/
gentoo-overlay
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '028bc010f4'
${ noResults }
gentoo-overlay/metadata/md5-cache/dev-lang/spark-2017

13 lines
864 B
Raw Blame History

DEFINED_PHASES=compile install prepare
DEPEND=dev-lang/gnat-gpl:6.3.0 >=dev-ada/gnatcoll-2017[gnat_2017,projects,shared] 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,shared] 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 1d91b03d42ab6308b5f4f6b598ed110e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs a3a237ef6c0c58546bf23b2c382f9e56
_md5_=4b77e08f59c8aea67140a4c942610504
Reference in new issue View Git Blame Copy Permalink