public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_stable_witness/, profiles/
Date: Fri, 14 Jun 2024 17:24:51 +0000 (UTC)	[thread overview]
Message-ID: <1718385835.d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c.tupone@gentoo> (raw)

commit:     d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 14 17:19:34 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 14 17:23:55 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d81afcff

dev-ml/ppx_stable_witness: add 0.17.0

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

 dev-ml/ppx_stable_witness/Manifest                 |  1 +
 .../ppx_stable_witness-0.17.0.ebuild               | 24 ++++++++++++++++++++++
 profiles/package.mask                              |  1 +
 3 files changed, 26 insertions(+)

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"

diff --git a/profiles/package.mask b/profiles/package.mask
index 4f4089788e63..77c59a3a7ae9 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -261,6 +261,7 @@ dev-ml/ppx_typerep_conv:0/0.17
 dev-ml/ppx_tydi:0/0.17
 dev-ml/capitalization:0/0.17
 dev-ml/ppx_string_conv:0/0.17
+dev-ml/ppx_stable_witness:0/0.17
 
 # Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.


                 reply	other threads:[~2024-06-14 17:24 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1718385835.d81afcffde9bfe5c747269fdf61bb5cd2e58bf9c.tupone@gentoo \
    --to=tupone@gentoo.org \
    --cc=gentoo-commits@lists.gentoo.org \
    --cc=gentoo-dev@lists.gentoo.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox