gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/core: sameslot for ppx_stable

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2024-07-29 09:23:12 +02:00
parent f38313e113
commit f30fee0497
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
dev-ml/core/core-0.15.1-r2.ebuild
View File

@@ -38,7 +38,7 @@ RDEPEND="
dev-ml/ppx_pipebang:=
dev-ml/ppx_sexp_message:=
dev-ml/ppx_sexp_value:=
dev-ml/ppx_stable:=
dev-ml/ppx_stable:${SLOT}[ocamlopt?]
dev-ml/ppx_string:${SLOT}[ocamlopt?]
dev-ml/ppx_ignore_instrumentation:${SLOT}[ocamlopt?]
dev-ml/typerep:${SLOT}[ocamlopt?]