summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_custom_printf
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-03-12 21:55:15 +0000
committerV3n3RiX <venerix@redcorelinux.org>2021-03-12 21:55:15 +0000
commit7218e1b46bceac05841e90472501742d905fb3fc (patch)
tree56fae051db521b8fce8014cbc8b11484885b14b3 /dev-ml/ppx_custom_printf
parent6d691ad5b6239929063441bbd14c489e92e7396e (diff)
gentoo resync : 12.03.2021
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.9.0-r1.ebuild27
2 files changed, 0 insertions, 29 deletions
diff --git a/dev-ml/ppx_custom_printf/Manifest b/dev-ml/ppx_custom_printf/Manifest
index 719ad06ee500..8b117df6656c 100644
--- a/dev-ml/ppx_custom_printf/Manifest
+++ b/dev-ml/ppx_custom_printf/Manifest
@@ -1,6 +1,4 @@
AUX ppx_custom_printf-0.14.0-ppxlib-0.18.0.patch 1692 BLAKE2B fee56511e88124c2df3cc075b99e97834794e997c4cf87bb3e5d018cacbf3b4ffeed886f3bac054e17b4d3e4695d8499b830fd2ee18cabef7381d352a33dcb9e SHA512 48e2a0e92d14533e66b59487c90d4c8bc0022af7a7db05b8708a5d71eadab011fb6c5e63d81f1d6fafe329f41328d2d0fb540888b9f6bfa53dc72330b5800f04
DIST ppx_custom_printf-0.14.0.tar.gz 9600 BLAKE2B 7b921188e158d59a160502b410ac780709b40fd408cf2e06a0adb70952ef3e72144deaee1c40df512cc09997ce87621e0be2a32d28e8408914fb90f3416e0532 SHA512 2f607df87aa372ef602b4aeb44a2d697ff8696001161e544398c3675280ef7af402f4b34b8cfce900791129d2a9db13ccbf4e73518f58487adc47d5188c8652c
-DIST ppx_custom_printf-0.9.0.tar.gz 11527 BLAKE2B ad1791f1bad3c8583e67ca6300e98e8a7a047f723bbaa7c80cf6224f7333e7893fce7289456c39f6959089f15cc0da20106b33689ab198b1f47f6dc0bd853c77 SHA512 7608e09aac26f4f51d124d30c25a510abb73bea606007524a5563f5bb2c0e71f1ff033edb32c48f0c69656e8c3924b57186639812b1a647ce31f7ae15dc466cb
EBUILD ppx_custom_printf-0.14.0.ebuild 690 BLAKE2B 3ad8ccb5fff9133d2590fb00bdcb6dddcffb87f56a9d94f5240d2ce303da30acadf22069d4af9cb7e0bafed79cdb26e715f203abe9c0182c3061a898601f0c2c SHA512 ca0839af236bb755386b569e8a648c9672a394ceb7e65cab5af69c31bbc2e6e146a246d231e4aae911f306329b2dac9f119d0268feb68e883b27382176fbd303
-EBUILD ppx_custom_printf-0.9.0-r1.ebuild 645 BLAKE2B 24bdab2519315f8153e2e1a9034291bef09df3d03bb4ea9b463ea80d5b7dca4db4423875cf0c91315b19ef6a31c849ae2a320d65185b6baab7840ecda6940153 SHA512 258cdc49534126c7c5c26d03c927be5132d55b1b99fb76a3c62925df6c45a542e15dbcdaf6597349005a2b7d5a58ee157384f078aedf8367572db46d9af9bd11
MISC metadata.xml 337 BLAKE2B 0c3a2a4da646e74eba801d91e7b0347bb2d4f82f9c67c948d2df83e8bcc24de8c04c913ad8fea547cc39b3713e71da905451bcaf5a9a8a194cec7332d85db806 SHA512 c559c7204d7ab47b35dbdde65f0146c492238ea7975b1cc4ab21848b3ca6ac9118c8c4e1a5e3c6ec5e071d4c61284374ba84796491a1cee2dd21be84dd941d08
diff --git a/dev-ml/ppx_custom_printf/ppx_custom_printf-0.9.0-r1.ebuild b/dev-ml/ppx_custom_printf/ppx_custom_printf-0.9.0-r1.ebuild
deleted file mode 100644
index 0ed35963b467..000000000000
--- a/dev-ml/ppx_custom_printf/ppx_custom_printf-0.9.0-r1.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-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/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
- dev-ml/ppx_core:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_metaquot:=
- dev-ml/ppx_sexp_conv:=
- dev-ml/ppx_type_conv:=
- dev-ml/ppx_traverse
- dev-ml/ocaml-migrate-parsetree:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${DEPEND} dev-ml/jbuilder"