gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2025-12-21 21:17:37 -08:00
Code Issues Projects Releases Wiki Activity

dev-lang/elpi: dev-lang/ocaml-4.08 has gone

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone 2025-09-27 17:46:49 +02:00
parent 276af31461
commit fbecd3cf65
No known key found for this signature in database
GPG Key ID: FBE5925C5B02CE58
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
dev-lang/elpi/elpi-1.19.6-r1.ebuild
View File

@ -24,7 +24,6 @@ RESTRICT="!test? ( test )"
RDEPEND=" RDEPEND="
<dev-ml/atd-2.16.0:= <dev-ml/atd-2.16.0:=
>=dev-lang/ocaml-4.08.0:=
>=dev-ml/menhir-20211230:= >=dev-ml/menhir-20211230:=
dev-ml/ppx_deriving:= dev-ml/ppx_deriving:=
dev-ml/ppxlib:= dev-ml/ppxlib:=

1
dev-lang/elpi/elpi-2.0.7.ebuild
View File

@ -24,7 +24,6 @@ RESTRICT="!test? ( test )"
RDEPEND=" RDEPEND="
<dev-ml/atd-2.16.0:= <dev-ml/atd-2.16.0:=
>=dev-lang/ocaml-4.08.0:=
>=dev-ml/menhir-20211230:= >=dev-ml/menhir-20211230:=
dev-ml/ppx_deriving:= dev-ml/ppx_deriving:=
dev-ml/ppxlib:= dev-ml/ppxlib:=