From fbecd3cf656edd95517dee47bca8a3ba1bdd029c Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Sat, 27 Sep 2025 17:46:49 +0200 Subject: [PATCH] dev-lang/elpi: dev-lang/ocaml-4.08 has gone Signed-off-by: Alfredo Tupone --- 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 7b1467f777b8c..e0e9469149259 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-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 7b1467f777b8c..e0e9469149259 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-lang/ocaml-4.08.0:= >=dev-ml/menhir-20211230:= dev-ml/ppx_deriving:= dev-ml/ppxlib:=