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 63af700cd3ec9b5eea590e61705c75d4c8ea0bb1..1fa2034863d2e6bdafe4d77d211677de407fde33 100644 (file)
--- 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}