summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-04-25 09:30:40 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-04-25 09:30:40 +0200
commit879c26a85e66d8770d7da17cb55f34e106a59db0 (patch)
tree9d5bf20eadde0a6b06f3e5eaa226d6ad3251f805 /dev-ml/ppx_custom_printf
parentpackage.mask: add ppx_custom_printf to janestreet mask (diff)
downloadgentoo-879c26a85e66d8770d7da17cb55f34e106a59db0.tar.gz
gentoo-879c26a85e66d8770d7da17cb55f34e106a59db0.tar.bz2
gentoo-879c26a85e66d8770d7da17cb55f34e106a59db0.zip
dev-ml/ppx_custom_printf: 0.15.0 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_custom_printf')
-rw-r--r--dev-ml/ppx_custom_printf/Manifest1
-rw-r--r--dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild18
2 files changed, 19 insertions, 0 deletions
diff --git a/dev-ml/ppx_custom_printf/Manifest b/dev-ml/ppx_custom_printf/Manifest
index 62a69ebf3d15..c2d0ede4ff2f 100644
--- a/dev-ml/ppx_custom_printf/Manifest
+++ b/dev-ml/ppx_custom_printf/Manifest
@@ -1,2 +1,3 @@
DIST ppx_custom_printf-0.14.0.tar.gz 9600 BLAKE2B 7b921188e158d59a160502b410ac780709b40fd408cf2e06a0adb70952ef3e72144deaee1c40df512cc09997ce87621e0be2a32d28e8408914fb90f3416e0532 SHA512 2f607df87aa372ef602b4aeb44a2d697ff8696001161e544398c3675280ef7af402f4b34b8cfce900791129d2a9db13ccbf4e73518f58487adc47d5188c8652c
DIST ppx_custom_printf-0.14.1.tar.gz 9606 BLAKE2B 81999f3534fcf8daa965274f93812442b170c8bb7bd05d6b4ba2cb7f506e6bba44dadec355733adec790262be25ad62016356cdf7e0ddcebf2080a3238314543 SHA512 0acb5a2964c996a34d1759c1db73219d4db813ab6b96f80feffae34cbcd73fc8c8ab40ccad7ad378d730acb45eff26906533b29716398fc1c10a7bb4ff949443
+DIST ppx_custom_printf-0.15.0.tar.gz 9609 BLAKE2B f9a855559bea50d2aec44cc5ed78010afa66bfafe12906a0f115ba484709a759383b41e7bc4fb8557e9869c0c67a6035451a7f1184be0658371c4300e593de39 SHA512 f8776e9037f491b120b0d43ac9b76231c422b9e5f0d7c3f75efdadf9d4ec401266d61f441a2c7c831c99fac10ac98d84e4e62eda44e6fc86f2fa60ead5ecbc86
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.ebuild
new file mode 100644
index 000000000000..14862e262843
--- /dev/null
+++ b/dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild
@@ -0,0 +1,18 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Printf-style format-strings for user-defined string conversion"
+HOMEPAGE="https://github.com/janestreet/ppx_custom_printf"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="dev-ml/ppx_sexp_conv:${SLOT}"
+RDEPEND="${DEPEND}"