commit: 88a4f3c9c582c4ae3578aabeb709e8242f04a70e
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 8 17:20:42 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 8 17:20:42 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=88a4f3c9
sci-mathematics/why3: dev-lang/ocaml dep redundant
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/why3/why3-1.6.0.ebuild | 3 +--
sci-mathematics/why3/why3-1.7.2.ebuild | 1 -
sci-mathematics/why3/why3-1.8.0.ebuild | 1 -
sci-mathematics/why3/why3-1.8.1.ebuild | 1 -
sci-mathematics/why3/why3-1.8.2.ebuild | 1 -
5 files changed, 1 insertion(+), 6 deletions(-)
diff --git a/sci-mathematics/why3/why3-1.6.0.ebuild
b/sci-mathematics/why3/why3-1.6.0.ebuild
index 27569d1c9825..795e39ceeecb 100644
--- a/sci-mathematics/why3/why3-1.6.0.ebuild
+++ b/sci-mathematics/why3/why3-1.6.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -16,7 +16,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp stackify +zarith
zip"
RDEPEND="
!sci-mathematics/why3-for-spark
- >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.7:= )
diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild
b/sci-mathematics/why3/why3-1.7.2.ebuild
index aabe6abb7ced..adafd116964f 100644
--- a/sci-mathematics/why3/why3-1.7.2.ebuild
+++ b/sci-mathematics/why3/why3-1.7.2.ebuild
@@ -16,7 +16,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp stackify +zarith
zip"
RDEPEND="
!sci-mathematics/why3-for-spark
- >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
coq? ( >=sci-mathematics/coq-8.7:= )
diff --git a/sci-mathematics/why3/why3-1.8.0.ebuild
b/sci-mathematics/why3/why3-1.8.0.ebuild
index 7d4c10c81bae..a0ca2449bfcd 100644
--- a/sci-mathematics/why3/why3-1.8.0.ebuild
+++ b/sci-mathematics/why3/why3-1.8.0.ebuild
@@ -16,7 +16,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp stackify zip"
RDEPEND="
!sci-mathematics/why3-for-spark
- >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
dev-ml/zarith:=
diff --git a/sci-mathematics/why3/why3-1.8.1.ebuild
b/sci-mathematics/why3/why3-1.8.1.ebuild
index 7d4c10c81bae..a0ca2449bfcd 100644
--- a/sci-mathematics/why3/why3-1.8.1.ebuild
+++ b/sci-mathematics/why3/why3-1.8.1.ebuild
@@ -16,7 +16,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp stackify zip"
RDEPEND="
!sci-mathematics/why3-for-spark
- >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
dev-ml/zarith:=
diff --git a/sci-mathematics/why3/why3-1.8.2.ebuild
b/sci-mathematics/why3/why3-1.8.2.ebuild
index 33c159244df5..ad03632728b9 100644
--- a/sci-mathematics/why3/why3-1.8.2.ebuild
+++ b/sci-mathematics/why3/why3-1.8.2.ebuild
@@ -17,7 +17,6 @@ IUSE="coq doc emacs gtk +ocamlopt re sexp stackify zip"
RDEPEND="
!sci-mathematics/why3-for-spark
- >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
>=dev-ml/menhir-20170418:=
dev-ml/num:=
dev-ml/zarith:=
