diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2021-02-10 18:25:02 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2021-02-10 18:25:02 +0100 |
| commit | 5aff1bfa73f6a17a8f9d6952315f80b2f84e9667 (patch) | |
| tree | 0b2e35aeab48ed5981a0d57330bef1570581d8a2 /sci-mathematics | |
| parent | dev-libs/libebml: Stabilize 1.4.1 ppc64, #769833 (diff) | |
| download | gentoo-5aff1bfa73f6a17a8f9d6952315f80b2f84e9667.tar.gz gentoo-5aff1bfa73f6a17a8f9d6952315f80b2f84e9667.tar.bz2 gentoo-5aff1bfa73f6a17a8f9d6952315f80b2f84e9667.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -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 |