summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2024-07-29 09:10:08 +0200
committerAlfredo Tupone <tupone@gentoo.org>2024-07-29 09:10:53 +0200
commita059b7b2bc86611b2c50e8ebc7a6db58e6fd4cd2 (patch)
tree1ae2b5ffcff8414fd1165628631f05f778b1f69f /dev-ml
parentwww-client/firefox: drop 128.0, 128.0.2 (diff)
downloadgentoo-a059b7b2bc86611b2c50e8ebc7a6db58e6fd4cd2.tar.gz
gentoo-a059b7b2bc86611b2c50e8ebc7a6db58e6fd4cd2.tar.bz2
gentoo-a059b7b2bc86611b2c50e8ebc7a6db58e6fd4cd2.zip
dev-ml/core: use sameslot for typerep
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 (renamed from dev-ml/core/core-0.15.1-r1.ebuild)4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/core/core-0.15.1-r1.ebuild b/dev-ml/core/core-0.15.1-r2.ebuild
index b090bc8654f4..9ea8e233daea 100644
--- a/dev-ml/core/core-0.15.1-r1.ebuild
+++ b/dev-ml/core/core-0.15.1-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -41,6 +41,6 @@ RDEPEND="
dev-ml/ppx_stable:=
dev-ml/ppx_string:=
dev-ml/ppx_ignore_instrumentation:=
- dev-ml/typerep:=
+ dev-ml/typerep:${SLOT}[ocamlopt?]
"
DEPEND="${RDEPEND}"