gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/why3-for-spark: dev-lang/ocaml dep redundant

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone 2025-10-08 19:23:35 +02:00
parent 88a4f3c9c5
commit c0d7884cb1
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
sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
View File

@ -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:=

1
sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild
View File

@ -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?]