summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_custom_printf
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-12 09:56:54 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-12 09:56:54 +0000
commitebc282ef4dfa408accac685565b8ee5f6faec119 (patch)
treec0a4f713228cda0ab17eed46f0bb7ca8cb8be2f6 /dev-ml/ppx_custom_printf
parent6c8694a707151d59555b0e4e48235f085ce166c3 (diff)
gentoo auto-resync : 12:02:2023 - 09:56:54
Diffstat (limited to 'dev-ml/ppx_custom_printf')
-rw-r--r--dev-ml/ppx_custom_printf/Manifest2
-rw-r--r--dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0-r1.ebuild (renamed from dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild)7
2 files changed, 6 insertions, 3 deletions
diff --git a/dev-ml/ppx_custom_printf/Manifest b/dev-ml/ppx_custom_printf/Manifest
index e00d66957eb8..8cc11a86120d 100644
--- a/dev-ml/ppx_custom_printf/Manifest
+++ b/dev-ml/ppx_custom_printf/Manifest
@@ -4,5 +4,5 @@ DIST ppx_custom_printf-0.14.1.tar.gz 9606 BLAKE2B 81999f3534fcf8daa965274f938124
DIST ppx_custom_printf-0.15.0.tar.gz 9609 BLAKE2B f9a855559bea50d2aec44cc5ed78010afa66bfafe12906a0f115ba484709a759383b41e7bc4fb8557e9869c0c67a6035451a7f1184be0658371c4300e593de39 SHA512 f8776e9037f491b120b0d43ac9b76231c422b9e5f0d7c3f75efdadf9d4ec401266d61f441a2c7c831c99fac10ac98d84e4e62eda44e6fc86f2fa60ead5ecbc86
EBUILD ppx_custom_printf-0.14.0.ebuild 689 BLAKE2B 72ff471b70a6e7aa3ba0135873bc843000f890205eeebf72b60cc8110e1aadec6eb1301d3b00b442df836ddb604ca07e4e550113a49cf58fe4b2019aac2cacd4 SHA512 df9dabe35387cfa59e1a2da9f458983ec4ce536c9c393c9f3a2b2895561c2a63e294e866cd35ca2a22173bba735db2c371fb7838b8071d617384e736f2e46be0
EBUILD ppx_custom_printf-0.14.1.ebuild 646 BLAKE2B 8b4fab98560e59cac195a8f337036588fd7e6751e8a3f133f24bad37944448ab369ea6f0383e930e43033f082c077e26ba59bc19cdf85225b7afa7bf59a86adf SHA512 ff250cce3d9e698c66d370fb95235c9ce7d8900babaa0a298eddb37443a67ba46332bc73a41b20e5007ef188dbc520c0208b2d6f8d55af077bcdb4383806ddfe
-EBUILD ppx_custom_printf-0.15.0.ebuild 522 BLAKE2B 80ce24d388f4ce47b088476365a760d2edfabd9a0ef08fab1032e3a742dc3e542bb80b35c94514af9fe1faea5fb5600adcbc803c1d5cd3e653c7c834b348f77f SHA512 8c30698df427f6cff3d85dcfd1b2ffa119f69676f9a16da1907f5117ea7bda29a71c27eb46013cc147cbc942e170f1029f740d982c3b634a68e1a5c09a9ca60c
+EBUILD ppx_custom_printf-0.15.0-r1.ebuild 551 BLAKE2B b95208b4601fbe0b044ededdb696709b6c8cec6fc52c004d45f33d599645a3c4dd3dce4595f2174572f929e312bee4bacdd63caa0ae509ad444359e36a48f68c SHA512 3de02a60ba6d55f1e5227e743f0fb128b1a4bbb2906f48cb823af7693f6bac92559737fbb089a041fc7fecd3f56541ca7265b20d07a1b7866a7ae15311d0ce21
MISC metadata.xml 431 BLAKE2B 3f4c76d8b412eef517f0ad03a58a67fb46889ec1c596e6df70f59cb5d3e1918107b161d9bf9da1fd3f58bbecaac6801461a5ac7c7608a6ea5bee44e65d4a7d70 SHA512 72945ae2f03232e53bd483db0ab2849a850812acb96c95e9e35d2725d77bce0b5db6d65f7dc0e48384246f2bbe4582ec28c641c0afbe328aedbab819a0818a5d
diff --git a/dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild b/dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0-r1.ebuild
index 14862e262843..5deb18da0db5 100644
--- a/dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild
+++ b/dev-ml/ppx_custom_printf/ppx_custom_printf-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
@@ -14,5 +14,8 @@ SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
-DEPEND="dev-ml/ppx_sexp_conv:${SLOT}"
+DEPEND="
+ dev-ml/ppx_sexp_conv:${SLOT}
+ >=dev-ml/ppxlib-0.23.0:=
+"
RDEPEND="${DEPEND}"