diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 09:30:40 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 09:30:40 +0200 |
| commit | 879c26a85e66d8770d7da17cb55f34e106a59db0 (patch) | |
| tree | 9d5bf20eadde0a6b06f3e5eaa226d6ad3251f805 /dev-ml | |
| parent | package.mask: add ppx_custom_printf to janestreet mask (diff) | |
| download | gentoo-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')
| -rw-r--r-- | dev-ml/ppx_custom_printf/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_custom_printf/ppx_custom_printf-0.15.0.ebuild | 18 |
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}" |