diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-lang/spark-2017 | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-lang/spark-2017')
| -rw-r--r-- | dev-lang/spark-2017 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-lang/spark-2017 b/dev-lang/spark-2017 deleted file mode 100644 index 16771b4e3b70..000000000000 --- a/dev-lang/spark-2017 +++ /dev/null @@ -1,12 +0,0 @@ -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 97f470f374f2e94ccab04a2fb21d811e multiprocessing cac3169468f893670dac3e7cb940e045 toolchain-funcs 1e35303c63cd707f6c3422b4493d5607 -_md5_=000eec674e2b3768f164a12390d9b6a7 |