[gentoo-commits] repo/gentoo:master commit in: dev-lang/spark/

[Alfredo Tupone]

commit:     a4c2721780b707858cb55d8651efc34add614913
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Nov  6 21:10:52 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Nov  6 21:10:52 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a4c27217

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

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 dev-lang/spark/spark-2017.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild
index a47fb312815..e63d7069015 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]"