commit:     9de4bf79591fb17f6c098b6fa4d7fb3c2f890270
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 30 19:58:41 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 30 20:05:38 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9de4bf79

dev-ml/ppx_optional: add 0.16.0

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ppx_optional/Manifest                   |  1 +
 dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild | 23 +++++++++++++++++++++++
 2 files changed, 24 insertions(+)

diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index 4008ef2eeb4c..7ad5e9f1b091 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,2 +1,3 @@
 DIST ppx_optional-0.14.0.tar.gz 6090 BLAKE2B 
99c5ed7ab6b6c555477eaf468786cc175ff8c8ac4d0c6abb8110637da57396ed599d5c10bd35f3d5ff27a41b00314ca355596e4158c4d792fcb37d547455b90d
 SHA512 
70ed28a974ea1bbcb3fe2e54911e355da54fafd6dff3e74c471126a824c28e9a180777e96e17c4a7a52be4be507fbbc0fa3e92310346dbaf5ab8711845e92e40
 DIST ppx_optional-0.15.0.tar.gz 6090 BLAKE2B 
89752ec6175f0334b922689b2f1b47ee078be0eb5f0432b9de18ac966a6e75e4bb36e4f5f4ab4e7be669de5805f2db8e35cf723cbc22e724451d748bf5437553
 SHA512 
a2cd8390877c9ec256523c796995a5ade2f97f396afe86493ac46ca1bd1fe15264423986f5a27d5b88908b92673305405e508e744335205ff17f6c2b7d7d0809
+DIST ppx_optional-0.16.0.tar.gz 8333 BLAKE2B 
1e977c8c06a9db1247d17a4795d7cd849ca6280b2a2367de3ffe7071f18a88d2e0afc1dbbed3e8b1a01b454623e730d2b7b8e4d378ed0e55df016ecc36c8a4cc
 SHA512 
07e812d46aef13e835dfc31e4eab17c656ad98e85843337d8f9361038c78bbcfceedaa64774784ffd84cb11e58c142e6c9bfab6d6c31eddf86b0e860f9a315a5

diff --git a/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild 
b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
new file mode 100644
index 000000000000..6ee953269bce
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 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-lang/ocaml-4.14
+       dev-ml/base:${SLOT}
+       >=dev-ml/ppxlib-0.28.0:=
+       dev-ml/result:=
+"
+RDEPEND="${DEPEND}"

Reply via email to