From 5a23d70c8bb4c07a4080e9831cf2e760656751b9 Mon Sep 17 00:00:00 2001
From: Alfredo Tupone <tupone@gentoo.org>
Date: Mon, 25 Apr 2022 21:43:27 +0200
Subject: dev-ml/int_repr: add to tree

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@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(+)
 create mode 100644 dev-ml/int_repr/Manifest
 create mode 100644 dev-ml/int_repr/int_repr-0.15.0.ebuild
 create mode 100644 dev-ml/int_repr/metadata.xml

(limited to 'dev-ml/int_repr')

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>
-- 
cgit v1.2.3-65-gdbad