diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-11-06 22:10:52 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-11-06 22:10:52 +0100 |
| commit | a4c2721780b707858cb55d8651efc34add614913 (patch) | |
| tree | dd33dcf993c621f2bda6be9f084483a4ba2b8e60 /dev-lang/spark | |
| parent | sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem. (diff) | |
| download | gentoo-a4c2721780b707858cb55d8651efc34add614913.tar.gz gentoo-a4c2721780b707858cb55d8651efc34add614913.tar.bz2 gentoo-a4c2721780b707858cb55d8651efc34add614913.zip | |
dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-lang/spark')
| -rw-r--r-- | dev-lang/spark/spark-2017.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild index a47fb312815a..e63d7069015f 100644 --- a/dev-lang/spark/spark-2017.ebuild +++ b/dev-lang/spark/spark-2017.ebuild @@ -23,7 +23,7 @@ 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[-zip]" + sci-mathematics/why3-for-spark" DEPEND="${RDEPEND} dev-ada/gprbuild[gnat_2017]" |