diff options
-rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild index a7fe32304083..8fd579c6c8d4 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild @@ -20,7 +20,7 @@ RESTRICT="strip" DEPEND=">=dev-lang/ocaml-4.09.0:=[ocamlopt=] >=dev-ml/ocamlbuild-0.14.0 dev-ml/menhir:= - dev-ml/num:= + <dev-ml/num-1.4:= dev-ml/yojson:= coq? ( >=sci-mathematics/coq-8.9.1 |