From: Tupone Alfredo <tupone@gentoo.org>
Date: Mon, 6 Nov 2017 21:10:52 +0000 (+0100)
Subject: dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=a4c2721780b707858cb55d8651efc34add614913;p=gentoo.git

dev-lang/spark: Re-allow zip in sci-mathematics/why3-for-spark

Package-Manager: Portage-2.3.8, Repoman-2.3.3
---

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]"