From: Tupone Alfredo <tupone@gentoo.org>
Date: Mon, 6 Nov 2017 21:09:20 +0000 (+0100)
Subject: sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=ce9a2c2e5a2c8c7acc61c556147b7385139071a5;p=gentoo.git

sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.

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

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index 63af700cd3ec..1fa2034863d2 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -26,7 +26,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
 	html? ( dev-tex/hevea )
 	hypothesis-selection? ( dev-ml/ocamlgraph )
 	zarith? ( dev-ml/zarith )
-	zip? ( dev-ml/camlzip )"
+	zip? ( >=dev-ml/camlzip-1.07 )"
 RDEPEND="${DEPEND}"
 
 S="${WORKDIR}"/${MYP}