From: "Sam James" <sam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_bigstring/
Date: Sun, 24 Jan 2021 16:06:15 +0000 (UTC) [thread overview]
Message-ID: <1611504366.9c47157a18018708a699b8083d71d62b1b5f33f1.sam@gentoo> (raw)
commit: 9c47157a18018708a699b8083d71d62b1b5f33f1
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 22 05:46:51 2021 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun Jan 24 16:06:06 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9c47157a
dev-ml/base_bigstring: new package
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/base_bigstring/Manifest | 1 +
dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild | 22 ++++++++++++++++++++++
dev-ml/base_bigstring/metadata.xml | 11 +++++++++++
3 files changed, 34 insertions(+)
diff --git a/dev-ml/base_bigstring/Manifest b/dev-ml/base_bigstring/Manifest
new file mode 100644
index 00000000000..b74bbf22c42
--- /dev/null
+++ b/dev-ml/base_bigstring/Manifest
@@ -0,0 +1 @@
+DIST base_bigstring-0.14.0.tar.gz 16579 BLAKE2B 4708fc425b9a4fb534b10b3536eca11bfd4ed8374319f9be09aa981d1a2a24433a25b62cb3faae459a0a633a2ebe6c15a28c2c15251f2ec9505c35528715de16 SHA512 d60bfd1989a29e4c1359722d4c0e2ec382c6d4f3c763b9b80980f38b51419bdf9d30bd9f8ca9cfbc33064458415e227c9f4077d9746ffc13cb4cd5ec8e221fc4
diff --git a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild
new file mode 100644
index 00000000000..5a89b41cd23
--- /dev/null
+++ b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit dune
+
+DESCRIPTION="String type based on Bigarray, for use in I/O and C-bindings"
+HOMEPAGE="https://github.com/janestreet/base_bigstring"
+SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+ >=dev-lang/ocaml-4.08.0:=[ocamlopt=]
+ dev-ml/base:=
+ dev-ml/ppx_jane:=
+"
+RDEPEND="${DEPEND}"
diff --git a/dev-ml/base_bigstring/metadata.xml b/dev-ml/base_bigstring/metadata.xml
new file mode 100644
index 00000000000..82b912706d2
--- /dev/null
+++ b/dev-ml/base_bigstring/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/base_bigstring</remote-id>
+ </upstream>
+</pkgmetadata>
next reply other threads:[~2021-01-24 16:06 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-24 16:06 Sam James [this message]
-- strict thread matches above, loose matches on Subject: below --
2021-01-24 17:44 [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_bigstring/ Sam James
2021-01-27 19:53 Sam James
2021-01-28 2:48 Sam James
2021-01-28 20:25 Sam James
2021-02-10 16:38 Sam James
2021-02-21 8:11 Sam James
2021-02-25 13:09 Sam James
2021-02-25 17:54 Sam James
2021-03-04 14:28 Agostino Sarubbo
2021-03-13 14:05 Sam James
2022-04-25 19:49 Alfredo Tupone
2022-10-14 20:53 Alfredo Tupone
2022-10-19 20:42 Alfredo Tupone
2023-01-27 0:30 Sam James
2023-01-28 21:23 Alfredo Tupone
2023-02-10 8:28 Yixun Lan
2023-02-20 20:27 Arthur Zamarin
2023-04-19 20:41 Alfredo Tupone
2023-04-29 17:46 Arthur Zamarin
2023-04-29 20:20 Sam James
2023-04-29 20:25 Sam James
2023-06-15 18:20 Arthur Zamarin
2023-07-02 7:22 Alfredo Tupone
2024-06-02 19:36 Arthur Zamarin
2024-06-02 19:41 Arthur Zamarin
2024-06-02 19:46 Arthur Zamarin
2024-06-12 5:40 Arthur Zamarin
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=1611504366.9c47157a18018708a699b8083d71d62b1b5f33f1.sam@gentoo \
--to=sam@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