commit: 5aff1bfa73f6a17a8f9d6952315f80b2f84e9667 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Wed Feb 10 17:25:02 2021 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Wed Feb 10 17:25:02 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5aff1bfa
sci-mathematics/why3-for-spark: fix dep Closes: https://bugs.gentoo.org/769845 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/why3-for-spark/why3-for-spark-2020.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 a7fe3230408..8fd579c6c8d 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
