summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_optional
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-15 00:09:17 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-15 00:09:17 +0100
commit6a7029e0f7370d4d5dfe9e31cc2719a870482392 (patch)
tree28c6c747114eaedfd2db81f86ac2ff3d7d13111e /dev-ml/ppx_optional
parent5e41a38157bb40e8513e8e34426e85faba672fe7 (diff)
gentoo auto-resync : 15:06:2024 - 00:09:17
Diffstat (limited to 'dev-ml/ppx_optional')
-rw-r--r--dev-ml/ppx_optional/Manifest2
-rw-r--r--dev-ml/ppx_optional/ppx_optional-0.17.0.ebuild24
2 files changed, 26 insertions, 0 deletions
diff --git a/dev-ml/ppx_optional/Manifest b/dev-ml/ppx_optional/Manifest
index adb25135e3ee..4486dd53df55 100644
--- a/dev-ml/ppx_optional/Manifest
+++ b/dev-ml/ppx_optional/Manifest
@@ -1,7 +1,9 @@
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
+DIST ppx_optional-0.17.0.tar.gz 10620 BLAKE2B a03d469bf38c0d6fc8ef1a395ae83f16c07b95135f12a6d19c9a88628833f3d38df44746c364f006f75b212c35f70a8b449bc6a16547e26d2627e0e59435fe23 SHA512 62ae21deabfb4f9bc967c1405057277e909a53de8ddcc2a12b0f170ad9abd2bda9c0fd208cf9d0d1ede6186ff8972519ef8b9bab26f10fac26bcc8ba1034d947
EBUILD ppx_optional-0.14.0.ebuild 548 BLAKE2B bc3ee17937fa1c3060c0ade1fd1348f69c13d3876bec06d09eadf63c0fccac5fb75cd6e7ae0a6621652de6360ee7cb55ba0a7134322057a11667417302a6cbf2 SHA512 60c61bcc1bfa597276d80b1d4728ee415e035245457d1a1dd3eb7cb197d163d7435070addb019f80744643db680c280354798fe25bb7e65733533b995d935643
EBUILD ppx_optional-0.15.0.ebuild 519 BLAKE2B 2a7d8f102aa51812f0dec2fedbc81a036930343a32f4cf7d98234fe41a64e9b30440ee5388d35a4d4ad3d16e76490264877079d26d5a97b912c0a122316019ba SHA512 9fbd8ec41d361ec44bc4caf6f11c9037c11ee67593711cd86170b9eb4e30aa80bc4bf22eb565bc3407ad1d8eeaa8a425ac5c96fdf409b15d534ad8d2973c5d58
EBUILD ppx_optional-0.16.0.ebuild 542 BLAKE2B 45720af9786dc229178b6a7a6f97f115d8e6f06f6744c3a6abad125ee17edf859fd37ba0fa9cadc4fa07a2fee9a8bb6004dee914269e6a4c62b9fde812e76819 SHA512 1ba57537ebf5e4aa023d4be33d5aab17763edf3e796dc021a190af6bee821f1e156099ff6048e752c94c2ca68a2347940ee9245763620c058469dc38d19e263b
+EBUILD ppx_optional-0.17.0.ebuild 601 BLAKE2B 3a081bd2569c297421fd76a568fb273f6d039b273c4ee6acec473a62504c4cc135214d458e0bbd013fe67c220d92275a8981c774eabf56c5982ad82eb70a9121 SHA512 0ee1853fcb5bc83cf504ff2617314af8aea8b9fa7c9e33f736a3b03286048bc04f763b0e5282cf9f6c7de3034feee84b4f6987d2e1dd83177ff3ddf7b76b8d0c
MISC metadata.xml 321 BLAKE2B a6786e5a7137b56862af4172af306c4e959dfd6fc81ee5db00a0884032dd85edf817e54a92b17efb8db7bf01a1060c70cb59f4c558e4d384a71d1ed4726884bb SHA512 10ab82734c258f76e38a70ad757e07959e420272cdce1eaf95902f641ed3aa0c753181caaf4ae5c48f5194b9e8c1e81adf5cc75cd64eb8a6ee8c9fa55d167745
diff --git a/dev-ml/ppx_optional/ppx_optional-0.17.0.ebuild b/dev-ml/ppx_optional/ppx_optional-0.17.0.ebuild
new file mode 100644
index 000000000000..dcd508f9eef2
--- /dev/null
+++ b/dev-ml/ppx_optional/ppx_optional-0.17.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2024 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 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-5
+ dev-ml/base:${SLOT}[ocamlopt?]
+ >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+ dev-ml/ppxlib_jane:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"