diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-09-16 17:31:46 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-09-16 17:31:46 +0000 |
| commit | 74e8740480f3b60bda95e5e056b432d5294b4959 (patch) | |
| tree | 7d8761869ab29e84f4e5ed690526f00e687dafe8 /metadata/md5-cache/dev-lang/spark-2021 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-74e8740480f3b60bda95e5e056b432d5294b4959.tar.gz gentoo-74e8740480f3b60bda95e5e056b432d5294b4959.tar.bz2 gentoo-74e8740480f3b60bda95e5e056b432d5294b4959.zip | |
2022-09-16 17:31:45 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/spark-2021')
| -rw-r--r-- | metadata/md5-cache/dev-lang/spark-2021 | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/metadata/md5-cache/dev-lang/spark-2021 b/metadata/md5-cache/dev-lang/spark-2021 index a3d3106f2539..bbe562eb1e0d 100644 --- a/metadata/md5-cache/dev-lang/spark-2021 +++ b/metadata/md5-cache/dev-lang/spark-2021 @@ -1,15 +1,15 @@ DEFINED_PHASES=compile install prepare setup -DEPEND=dev-ada/gnatcoll-core[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-),shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark dev-ada/gprbuild[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-)] +DEPEND=dev-ada/gnatcoll-core[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-),-ada_target_gcc_12_2_0(-),shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark dev-ada/gprbuild[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-),-ada_target_gcc_12_2_0(-)] DESCRIPTION=Software development for high-reliability applications EAPI=7 HOMEPAGE=http://libre.adacore.com INHERIT=ada -IUSE=ada_target_gnat_2020 ada_target_gnat_2021 +IUSE=ada_target_gnat_2020 ada_target_gnat_2021 ada_target_gcc_12_2_0 KEYWORDS=~amd64 LICENSE=GPL-3 -RDEPEND=dev-ada/gnatcoll-core[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-),shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark +RDEPEND=dev-ada/gnatcoll-core[ada_target_gnat_2021(-)?,-ada_target_gnat_2020(-),-ada_target_gcc_12_2_0(-),shared] sci-mathematics/alt-ergo sci-mathematics/why3-for-spark REQUIRED_USE=ada_target_gnat_2021 SLOT=0 SRC_URI=https://community.download.adacore.com/v1/969ce28e217bd5aa4db549a544d20846408a5229?filename=spark-2021-2021-20210519-19A1A-src.tar.gz -> spark-2021-2021-20210519-19A1A-src.tar.gz https://community.download.adacore.com/v1/005d2b2eff627177986d2517eb31e1959bec6f3a?filename=gnat-2021-20210519-19A70-src.tar.gz -> gnat-2021-20210519-19A70-src.tar.gz -_eclasses_=ada 75db68482cacd143b310392c931f1e58 +_eclasses_=ada fc6c14ed095d505642b43326b744689f _md5_=31cc4444abb462b93703f9936693524e |