commit: c0d7884cb1f0a6c2536f632cb8b12313fe0b3c42
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 8 17:23:35 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 8 17:23:35 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c0d7884c
sci-mathematics/why3-for-spark: dev-lang/ocaml dep redundant
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 1 -
sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 1 -
2 files changed, 2 deletions(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
index 88eff56c735b..919bc4469968 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
@@ -22,7 +22,6 @@ IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt
sexp zarith zip"
RESTRICT="strip"
RDEPEND="
- >=dev-lang/ocaml-4.11:=[ocamlopt?]
dev-ml/menhir:=[ocamlopt?]
dev-ml/num:=[ocamlopt?]
dev-ml/yojson:=
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
index d4757caaf1b7..0ed775f73f97 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
@@ -21,7 +21,6 @@ IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt
sexp zarith zip"
RESTRICT="strip"
RDEPEND="
- >=dev-lang/ocaml-4.11:=[ocamlopt?]
dev-ml/menhir:=[ocamlopt?]
dev-ml/num:=[ocamlopt?]
dev-ml/re:=[ocamlopt?]
