diff options
author | Alfredo Tupone <tupone@gentoo.org> | 2024-07-29 09:18:34 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2024-07-29 09:18:34 +0200 |
commit | f38313e113fd4973d4380ba569d4acacce0ffe07 (patch) | |
tree | 22c27a7d07ae2383f4d84ea9b44d5502a8a8c7b1 /dev-ml | |
parent | dev-ml/core: use sameslot for ppx_ignore_instrumentation (diff) | |
download | gentoo-f38313e113fd4973d4380ba569d4acacce0ffe07.tar.gz gentoo-f38313e113fd4973d4380ba569d4acacce0ffe07.tar.bz2 gentoo-f38313e113fd4973d4380ba569d4acacce0ffe07.zip |
dev-ml/core: sameslot for ppx_string
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/core/core-0.15.1-r2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/core/core-0.15.1-r2.ebuild b/dev-ml/core/core-0.15.1-r2.ebuild index e0a0ccb6052b..0099117c1a0b 100644 --- a/dev-ml/core/core-0.15.1-r2.ebuild +++ b/dev-ml/core/core-0.15.1-r2.ebuild @@ -39,7 +39,7 @@ RDEPEND=" dev-ml/ppx_sexp_message:= dev-ml/ppx_sexp_value:= dev-ml/ppx_stable:= - dev-ml/ppx_string:= + dev-ml/ppx_string:${SLOT}[ocamlopt?] dev-ml/ppx_ignore_instrumentation:${SLOT}[ocamlopt?] dev-ml/typerep:${SLOT}[ocamlopt?] " |