[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

[Alfredo Tupone]

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

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

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 63af700cd3e..1fa2034863d 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}