From c0d7884cb1f0a6c2536f632cb8b12313fe0b3c42 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Wed, 8 Oct 2025 19:23:35 +0200 Subject: [PATCH] sci-mathematics/why3-for-spark: dev-lang/ocaml dep redundant Signed-off-by: Alfredo Tupone --- sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 1 - .../why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 1 - 2 files changed, 2 deletions(-) diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 88eff56c735bb..919bc4469968b 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -22,7 +22,6 @@ IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip" RESTRICT="strip" RDEPEND=" - >=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:=[ocamlopt?] dev-ml/num:=[ocamlopt?] dev-ml/yojson:= diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild index d4757caaf1b7f..0ed775f73f978 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild @@ -21,7 +21,6 @@ IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt sexp zarith zip" RESTRICT="strip" RDEPEND=" - >=dev-lang/ocaml-4.11:=[ocamlopt?] dev-ml/menhir:=[ocamlopt?] dev-ml/num:=[ocamlopt?] dev-ml/re:=[ocamlopt?]