From 752d6256e5204b958b0ef7905675a940b5e9172f Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Thu, 12 May 2022 16:42:50 +0300
Subject: gentoo resync : 12.05.2022

---
 dev-ml/ppx_optional/Manifest                   |  4 +++-
 dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild |  2 +-
 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild | 22 ++++++++++++++++++++++
 3 files changed, 26 insertions(+), 2 deletions(-)
 create mode 100644 dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild

(limited to 'dev-ml/ppx_optional')

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 329a755aebe2..88278af4a3c0 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,3 +1,5 @@
 DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d SHA512 70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
-EBUILD ppx_optional-0.14.0.ebuild 524 BLAKE2B e32f958c4b571caac8e16e157f87b8935d77716937551534f8edd45cb473fe6db4b65e7e165e2308af5dce023721ebe9f431cada10d9ee7050bd54561d2f7ccc SHA512 827a2751b6e292c89b16446e25f343cc81e27d3fea08430beaa04172c2da35b43a86eec613a0ca561365a5780f9a94c57bfd788faa753fc879bcb348b4b77ade
+DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553 SHA512 a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
+EBUILD ppx_optional-0.14.0.ebuild 531 BLAKE2B 5d48636025515f144853b786261d17ba03358694335bfaf279330f1a51f90871d2cdf305e64b928a363d77b3a61ade938a3aad15159b7e672e1a1fb53663066e SHA512 12b695e389ce5a7f29833fcf6230abfdaa5f6ad0d9da59a5069c112c1e1718f66179cd47ff3fd4ea24a8662492d1b904f0dd4fedc4baafad40eb1fd3b69c59e6
+EBUILD ppx_optional-0.15.0.ebuild 524 BLAKE2B 6bf49fdaabf722f44ba0488b75162dbb17d74f07ab3cb45336de6c23017a3c618f3f79c51d69dddd66be671aa2325f42c43f8c42df929515bd3d137913ca49ef SHA512 22bfb03fd6fe022b6dcfe4218ffa8cb7ae48a7d8a9e8411d82c68d8ba76a23922a466832f8a39ea5c16dee356f15195c7315383e52cf8b8ab614fb2fbe23455b
 MISC metadata.xml 426 BLAKE2B 9fabba8035f75668823c0cc2df9c5c3dc5d6f74ec409c70fc356d396f46845bccc742aa60260dc2b7c743eaa18bb33b741ccee16c322ca7f3fff343701e51936 SHA512 ca968cc640b2486e5ffb67fdb8c3597843c625391456c6b8fc072dc3a28e77f05de2a37df0eeb9680badc4312f7b67f642fe1fe4e8355215fa814e9e715e7898
diff --git a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
index bae5d4dad48e..c2135f01b6e9 100644
--- a/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
+++ b/dev-ml/ppx_optional/ppx_optional-0.14.0.ebuild
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 
 DEPEND="
diff --git a/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
new file mode 100644
index 000000000000..92e8050422a0
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Pattern matching on flat options"
+HOMEPAGE="https://github.com/janestreet/ppx_optional"
+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/base:${SLOT}
+	>=dev-ml/ppxlib-0.23.0:=
+	dev-ml/result:=
+"
+RDEPEND="${DEPEND}"
-- 
cgit v1.2.3