diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-06-14 19:19:34 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-06-14 19:23:55 +0200 |
| commit | d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c (patch) | |
| tree | 0a36256944cafe327575bfb69cd54632d8b9e5cb /dev-ml/ppx_stable_witness | |
| parent | dev-ml/ppx_string_conv: new package, add 0.17.0 (diff) | |
| download | gentoo-d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c.tar.gz gentoo-d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c.tar.bz2 gentoo-d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c.zip | |
dev-ml/ppx_stable_witness: add 0.17.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_stable_witness')
| -rw-r--r-- | dev-ml/ppx_stable_witness/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild | 24 |
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable_witness/Manifest b/dev-ml/ppx_stable_witness/Manifest index c88f7895e0ab..1aa1b2f7bab6 100644 --- a/dev-ml/ppx_stable_witness/Manifest +++ b/dev-ml/ppx_stable_witness/Manifest @@ -1 +1,2 @@ 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 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" |