From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
Date: Mon, 25 Apr 2022 19:44:18 +0000 (UTC) [thread overview]
Message-ID: <1650915839.5a23d70c8bb4c07a4080e9831cf2e760656751b9.tupone@gentoo> (raw)
commit: 5a23d70c8bb4c07a4080e9831cf2e760656751b9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 25 19:43:27 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Apr 25 19:43:59 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5a23d70c
dev-ml/int_repr: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/int_repr/Manifest | 1 +
dev-ml/int_repr/int_repr-0.15.0.ebuild | 20 ++++++++++++++++++++
dev-ml/int_repr/metadata.xml | 11 +++++++++++
3 files changed, 32 insertions(+)
diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest
new file mode 100644
index 000000000000..9cae55d8d193
--- /dev/null
+++ b/dev-ml/int_repr/Manifest
@@ -0,0 +1 @@
+DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
new file mode 100644
index 000000000000..8bdf0e71886b
--- /dev/null
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -0,0 +1,20 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Integers of various widths"
+HOMEPAGE="https://github.com/janestreet/int_repr"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="dev-ml/ppx_jane:${SLOT}"
+RDEPEND="${DEPEND}"
+BDEPEND=""
diff --git a/dev-ml/int_repr/metadata.xml b/dev-ml/int_repr/metadata.xml
new file mode 100644
index 000000000000..762c50d1612f
--- /dev/null
+++ b/dev-ml/int_repr/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/int_repr</remote-id>
+ </upstream>
+</pkgmetadata>
next reply other threads:[~2022-04-25 19:44 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-04-25 19:44 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2023-02-10 8:28 [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/ Yixun Lan
2023-02-20 20:27 Arthur Zamarin
2023-02-24 16:56 Sam James
2023-02-24 22:20 Sam James
2023-04-19 6:58 Alfredo Tupone
2023-04-29 15:47 Arthur Zamarin
2023-04-29 16:07 Arthur Zamarin
2023-04-29 16:07 Arthur Zamarin
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
2025-06-03 19:58 Alfredo Tupone
2025-07-14 0:22 Jakov Smolić
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=1650915839.5a23d70c8bb4c07a4080e9831cf2e760656751b9.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