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/fieldslib/
Date: Sat,  1 Jul 2023 20:12:50 +0000 (UTC)	[thread overview]
Message-ID: <1688242321.7d6ec5a68e36446ea8dab2ee1e279f04d583915d.tupone@gentoo> (raw)

commit:     7d6ec5a68e36446ea8dab2ee1e279f04d583915d
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Jul  1 19:43:41 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Jul  1 20:12:01 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d6ec5a6

dev-ml/fieldslib: add 0.16.0

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

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

diff --git a/dev-ml/fieldslib/Manifest b/dev-ml/fieldslib/Manifest
index 37c77854df82..fb60eb0293cf 100644
--- a/dev-ml/fieldslib/Manifest
+++ b/dev-ml/fieldslib/Manifest
@@ -1,2 +1,3 @@
 DIST fieldslib-0.14.0.tar.gz 3677 BLAKE2B 076fe0c83547a5276e6ab304409c1a636132738f8a95c4d9a4260e95f6a3c247341c3901e2cde4f63f1f4db417e3749d1e8cb128cf8c1711004e77f1d42472ef SHA512 245987817585222060c389a632fa229fa3c928090548a0b759e3b1eb06c868d06c0593b01bc41f453c209854a15115fa7650cc36888036f9e305cf2b79a5004c
 DIST fieldslib-0.15.0.tar.gz 3680 BLAKE2B fc6f2ed845906c7956a202d60c49a3ec919a94cf1b8091a925dabceee4c76e22e74768f8c6f83d6f42369aa4ac0a035cc4f8be3828db24313cdb6777853eaadd SHA512 9bba75a93cd55f798f830409579092f96edbdb739808cbeb9c35b99d74baf7ebade5d0e95005cde550a80f337da13e4d088ba5eb26e597b7fc81b80a91037190
+DIST fieldslib-0.16.0.tar.gz 3711 BLAKE2B faf1ee760fb04f643bfb6d80a5f3ab1ac4b4aa2edb112f516fede7e0a6e66bbf48951615faf0aa9b86ce1f518ef24bedef77d7486ac22a24404ca4b009a8b8a0 SHA512 73a6d9fdd921eddbe766e933ef3dbb2d3866bf454a79a260c81406e069e0c1db689676e070214b38190ee1ddb369d0edd704a474186aec44eeabc8b0adee0f86

diff --git a/dev-ml/fieldslib/fieldslib-0.16.0.ebuild b/dev-ml/fieldslib/fieldslib-0.16.0.ebuild
new file mode 100644
index 000000000000..fe32ece0414e
--- /dev/null
+++ b/dev-ml/fieldslib/fieldslib-0.16.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="Folding over record fields"
+HOMEPAGE="https://github.com/janestreet/fieldslib"
+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"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.14
+	dev-ml/base:${SLOT}
+	dev-ml/findlib:=
+"
+DEPEND="${RDEPEND}"


             reply	other threads:[~2023-07-01 20:12 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-07-01 20:12 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2023-03-17 11:27 [gentoo-commits] repo/gentoo:master commit in: dev-ml/fieldslib/ Arthur Zamarin
2023-03-16 12:55 Alfredo Tupone
2022-01-29 20:32 Alfredo Tupone
2021-03-07 19:55 Alfredo Tupone
2016-11-29 15:05 Alexis Ballier
2016-06-28 11:57 Alexis Ballier
2016-06-23 14:34 Alexis Ballier

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=1688242321.7d6ec5a68e36446ea8dab2ee1e279f04d583915d.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