commit: fbecd3cf656edd95517dee47bca8a3ba1bdd029c
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 27 15:46:49 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Sep 27 15:46:49 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fbecd3cf
dev-lang/elpi: dev-lang/ocaml-4.08 has gone
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-lang/elpi/elpi-1.19.6-r1.ebuild | 1 -
dev-lang/elpi/elpi-2.0.7.ebuild | 1 -
2 files changed, 2 deletions(-)
diff --git a/dev-lang/elpi/elpi-1.19.6-r1.ebuild
b/dev-lang/elpi/elpi-1.19.6-r1.ebuild
index 7b1467f777b8..e0e946914925 100644
--- a/dev-lang/elpi/elpi-1.19.6-r1.ebuild
+++ b/dev-lang/elpi/elpi-1.19.6-r1.ebuild
@@ -24,7 +24,6 @@ RESTRICT="!test? ( test )"
RDEPEND="
<dev-ml/atd-2.16.0:=
- >=dev-lang/ocaml-4.08.0:=
>=dev-ml/menhir-20211230:=
dev-ml/ppx_deriving:=
dev-ml/ppxlib:=
diff --git a/dev-lang/elpi/elpi-2.0.7.ebuild b/dev-lang/elpi/elpi-2.0.7.ebuild
index 7b1467f777b8..e0e946914925 100644
--- a/dev-lang/elpi/elpi-2.0.7.ebuild
+++ b/dev-lang/elpi/elpi-2.0.7.ebuild
@@ -24,7 +24,6 @@ RESTRICT="!test? ( test )"
RDEPEND="
<dev-ml/atd-2.16.0:=
- >=dev-lang/ocaml-4.08.0:=
>=dev-ml/menhir-20211230:=
dev-ml/ppx_deriving:=
dev-ml/ppxlib:=
