commit: c7465ad426d93a25706f9910970b15d8501f6c2b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 29 10:12:07 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Sep 29 10:15:30 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c7465ad4
sci-mathematics/easycrypt: drop extra dev-lang/ocaml
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/easycrypt/easycrypt-2025.03.ebuild | 1 -
sci-mathematics/easycrypt/easycrypt-2025.08.ebuild | 1 -
2 files changed, 2 deletions(-)
diff --git a/sci-mathematics/easycrypt/easycrypt-2025.03.ebuild
b/sci-mathematics/easycrypt/easycrypt-2025.03.ebuild
index c05a134d96ea..49cf56a401b0 100644
--- a/sci-mathematics/easycrypt/easycrypt-2025.03.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2025.03.ebuild
@@ -25,7 +25,6 @@ SLOT="0/${PV}"
IUSE="+ocamlopt"
RDEPEND="
- >=dev-lang/ocaml-4.08.0:=[ocamlopt?]
>=sci-mathematics/why3-1.8.0:=
dev-ml/batteries:=
diff --git a/sci-mathematics/easycrypt/easycrypt-2025.08.ebuild
b/sci-mathematics/easycrypt/easycrypt-2025.08.ebuild
index c05a134d96ea..49cf56a401b0 100644
--- a/sci-mathematics/easycrypt/easycrypt-2025.08.ebuild
+++ b/sci-mathematics/easycrypt/easycrypt-2025.08.ebuild
@@ -25,7 +25,6 @@ SLOT="0/${PV}"
IUSE="+ocamlopt"
RDEPEND="
- >=dev-lang/ocaml-4.08.0:=[ocamlopt?]
>=sci-mathematics/why3-1.8.0:=
dev-ml/batteries:=
