diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-21 19:18:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-21 19:18:55 +0100 |
| commit | bb2f73a91ff16270dac177b888a782fbd704e98a (patch) | |
| tree | 6898972e48b2b8384437b916eb9dce8d1050367a /metadata/md5-cache/dev-lang/spark-2018 | |
| parent | 351678e5633eef91c838bc907bf7fe1791375ee6 (diff) | |
gentoo resync : 21.07.2018
Diffstat (limited to 'metadata/md5-cache/dev-lang/spark-2018')
| -rw-r--r-- | metadata/md5-cache/dev-lang/spark-2018 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/metadata/md5-cache/dev-lang/spark-2018 b/metadata/md5-cache/dev-lang/spark-2018 new file mode 100644 index 000000000000..b3a5d50cb2a7 --- /dev/null +++ b/metadata/md5-cache/dev-lang/spark-2018 @@ -0,0 +1,12 @@ +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 97f470f374f2e94ccab04a2fb21d811e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 1e35303c63cd707f6c3422b4493d5607 +_md5_=8f0ad8cc1b8cfdb769263624e3330c7a |