summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-02-09 20:14:47 +0100
committerAlfredo Tupone <tupone@gentoo.org>2023-02-09 20:15:11 +0100
commit3b4f94e3b45c2b5fec9a31b8277a05d5ca10d799 (patch)
tree8709c5f7b5373fb95414a4e6f974019b41e83a1c /dev-ml
parentapp-admin/ansible: add 7.2.0 (diff)
downloadgentoo-3b4f94e3b45c2b5fec9a31b8277a05d5ca10d799.tar.gz
gentoo-3b4f94e3b45c2b5fec9a31b8277a05d5ca10d799.tar.bz2
gentoo-3b4f94e3b45c2b5fec9a31b8277a05d5ca10d799.zip
dev-ml/ppx_hash: add ppxlib deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/ppx_hash/ppx_hash-0.15.0-r1.ebuild (renamed from dev-ml/ppx_hash/ppx_hash-0.15.0.ebuild)3
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/ppx_hash/ppx_hash-0.15.0.ebuild b/dev-ml/ppx_hash/ppx_hash-0.15.0-r1.ebuild
index 6dfef0b15b67..ff5f22a05f00 100644
--- a/dev-ml/ppx_hash/ppx_hash-0.15.0.ebuild
+++ b/dev-ml/ppx_hash/ppx_hash-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -17,5 +17,6 @@ IUSE="+ocamlopt"
DEPEND="
dev-ml/ppx_sexp_conv:${SLOT}
dev-ml/ppx_compare:${SLOT}
+ >=dev-ml/ppxlib-0.23:=
"
RDEPEND="${DEPEND}"