summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_stable_witness
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_stable_witness
parent5e41a38157bb40e8513e8e34426e85faba672fe7 (diff)
gentoo auto-resync : 15:06:2024 - 00:09:17
Diffstat (limited to 'dev-ml/ppx_stable_witness')
-rw-r--r--dev-ml/ppx_stable_witness/Manifest2
-rw-r--r--dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild24
2 files changed, 26 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable_witness/Manifest b/dev-ml/ppx_stable_witness/Manifest
index 5367f26daa73..b8bd9271fb87 100644
--- a/dev-ml/ppx_stable_witness/Manifest
+++ b/dev-ml/ppx_stable_witness/Manifest
@@ -1,3 +1,5 @@
DIST ppx_stable_witness-0.16.0.tar.gz 7641 BLAKE2B 45bbdb187c1dd9dcf1a3d51fe932bc7e93d7b23f40203e065fd5ba6f4bc4d418c241bd1c9550c09c78638865a3f17b22dead0e22bd8c04037d99691f8dbf6a1b SHA512 386688f6b9bed1fa481030f881b124681c18a49c8a1933233a7cd90dff5ddb4f1739cfb2d1c5262b2e7c2c2e593c9f141af6565a5596547c1770e19e2422ea36
+DIST ppx_stable_witness-0.17.0.tar.gz 7625 BLAKE2B 6bce85ffbf42f85a8084da54bc5b78512bc834492dcf21a5379d8a89dcc80240de407a7e6e8d67e2661663c8c6bc68adc54ab5e8092e3984f2aec4b78a40490b SHA512 df004ae0bdab636da3b5743e19885e03f84a21058e86294fce3ea124a6588a3de549dd3237ab8362cb8a17387d7a0b9fb077973722664d6e83364f4487b89e95
EBUILD ppx_stable_witness-0.16.0.ebuild 585 BLAKE2B 09d3ca5396821a165dfce2e2529dedb1a041cfe934b94c02be9a6cc8bd7a7536139181998cc698c0a29b98545740e6f373e010b546c5b272cf18634d95b77ee0 SHA512 aceb9c64e55c6ddaa2adc0e9a26062dfd02f4d7c3dcf4bc07e9d483ee163da0cad884d2f3d21a51398594fb0a0d1563ad514424f935161216611bcba52382f69
+EBUILD ppx_stable_witness-0.17.0.ebuild 623 BLAKE2B bcbcf4bd3a2a5b25387639aaee1640d02cd2d4171300371f88844d698e61268b65c5579d3cca49414c021958ae0551e69f81a46e209028ef124782f5c5b69221 SHA512 8899fa5ced796c8ffd5e31f85050eba555ddae1da97419166bbfa6b6ef91fc3c672c2f1d82ff2e264ec05aed9f793ec604940f2fc44fee25709661216cffd65e
MISC metadata.xml 327 BLAKE2B 9662914fb58ef24f4e1c4cd64f9dc281bdd76f1c63a37f14e2d5908266d485faa8be9dd70c560971083bc64fd4de6320770d932edc1d9e7666dd7541c24f0e88 SHA512 ce44243ecbd26eed538e909accecc114d7e7de77ebdaabe55ac4183eeed386fa7ec546274c298a018ac4b5c4b0da366ec7b45c4cb3b66e4a959c50c3e8929ed3
diff --git a/dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild b/dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild
new file mode 100644
index 000000000000..9d18f27b5b7d
--- /dev/null
+++ b/dev-ml/ppx_stable_witness/ppx_stable_witness-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="Ppx extension for deriving a witness that a type is intended to be stable"
+HOMEPAGE="https://github.com/janestreet/ppx_stable_witness"
+SRC_URI="https://github.com/janestreet/ppx_stable_witness/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?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"