* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2022-04-25 19:44 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2022-04-25 19:44 UTC (permalink / raw
To: gentoo-commits
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>
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-02-10 8:28 Yixun Lan
0 siblings, 0 replies; 15+ messages in thread
From: Yixun Lan @ 2023-02-10 8:28 UTC (permalink / raw
To: gentoo-commits
commit: 557ba669c851db232a6e8bde4f943c34ec65001c
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:22:49 2023 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:22:49 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=557ba669
dev-ml/int_repr: Keyword 0.15.0 riscv, #892131
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index 8bdf0e71886b..ddaf1a7ec797 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2022 Gentoo Authors
+# Copyright 2022-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~riscv"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-02-20 20:27 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2023-02-20 20:27 UTC (permalink / raw
To: gentoo-commits
commit: 8fbe66a941da4b5429101b2327458b5027399692
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 20 20:26:26 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Feb 20 20:26:26 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8fbe66a9
dev-ml/int_repr: Keyword 0.15.0 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index ddaf1a7ec797..e0eafd706e39 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~riscv"
+KEYWORDS="~amd64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-02-24 16:56 Sam James
0 siblings, 0 replies; 15+ messages in thread
From: Sam James @ 2023-02-24 16:56 UTC (permalink / raw
To: gentoo-commits
commit: a7a939c6457a76105855e8f2c88655dbda2a5c16
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 16:55:20 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 16:55:20 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a7a939c6
dev-ml/int_repr: Keyword 0.15.0 arm64, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index e0eafd706e39..b5836dc1b749 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-02-24 22:20 Sam James
0 siblings, 0 replies; 15+ messages in thread
From: Sam James @ 2023-02-24 22:20 UTC (permalink / raw
To: gentoo-commits
commit: 926454f7ec44b547d8f0dc274f0638c0b1fc1e7d
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 22:19:36 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 22:19:36 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=926454f7
dev-ml/int_repr: Keyword 0.15.0 arm, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index b5836dc1b749..35a80379327e 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-04-19 6:58 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2023-04-19 6:58 UTC (permalink / raw
To: gentoo-commits
commit: 61b7ce3030122d602306ade2ba8918a70fd700e5
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Apr 19 06:57:44 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Apr 19 06:58:17 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61b7ce30
dev-ml/int_repr: stabilize 0.15.0 for amd64
Bug: https://bugs.gentoo.org/901595
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index 35a80379327e..14ac62ac39e8 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-04-29 15:47 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2023-04-29 15:47 UTC (permalink / raw
To: gentoo-commits
commit: 66e58e54a28a4239f460b0b6626fd55bf5188b65
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 29 15:46:55 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 29 15:46:55 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66e58e54
dev-ml/int_repr: Stabilize 0.15.0 arm64, #901595
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index 14ac62ac39e8..d3a3965f89bd 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm arm64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-04-29 16:07 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2023-04-29 16:07 UTC (permalink / raw
To: gentoo-commits
commit: 78c72b1cb39546447a94a5a08541812010ee89e1
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 29 16:07:30 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 29 16:07:30 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=78c72b1c
dev-ml/int_repr: Stabilize 0.15.0 arm, #901595
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index d3a3965f89bd..54a385296232 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm arm64 ~riscv ~x86"
+KEYWORDS="amd64 arm arm64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-04-29 16:07 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2023-04-29 16:07 UTC (permalink / raw
To: gentoo-commits
commit: a69446b025a9f917eb69c3fb487900c6354f302e
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Apr 29 16:07:30 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Apr 29 16:07:30 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a69446b0
dev-ml/int_repr: Stabilize 0.15.0 x86, #901595
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index 54a385296232..34ec808cf0a4 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~riscv ~x86"
+KEYWORDS="amd64 arm arm64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-06-15 18:20 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2023-06-15 18:20 UTC (permalink / raw
To: gentoo-commits
commit: dd12dd334718b2a40962be743d637e068762cbbc
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 15 18:19:29 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Jun 15 18:19:29 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dd12dd33
dev-ml/int_repr: Keyword 0.15.0 ppc64, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.15.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.15.0.ebuild b/dev-ml/int_repr/int_repr-0.15.0.ebuild
index 43a04c8a946c..2364f1913e0e 100644
--- a/dev-ml/int_repr/int_repr-0.15.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.15.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="dev-ml/ppx_jane:${SLOT}"
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2023-07-02 7:22 Alfredo Tupone
0 siblings, 0 replies; 15+ messages in thread
From: Alfredo Tupone @ 2023-07-02 7:22 UTC (permalink / raw
To: gentoo-commits
commit: 3c0115f5c8b5df4210c3dc70413a37efe77b011b
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 2 06:54:11 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 2 07:22:02 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3c0115f5
dev-ml/int_repr: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/int_repr/Manifest | 1 +
dev-ml/int_repr/int_repr-0.16.0.ebuild | 23 +++++++++++++++++++++++
2 files changed, 24 insertions(+)
diff --git a/dev-ml/int_repr/Manifest b/dev-ml/int_repr/Manifest
index 9cae55d8d193..719a48718198 100644
--- a/dev-ml/int_repr/Manifest
+++ b/dev-ml/int_repr/Manifest
@@ -1 +1,2 @@
DIST int_repr-0.15.0.tar.gz 9105 BLAKE2B a2a8197cdba7c4805c9eb9402e1c853619fc142bd057c4b42a578bcfdc97b417751634a31bab1ccd5c2e75cfbef46d33b6daf76da5ed4e3c9ec26d5c81fd3b73 SHA512 96537591fc597264347f967757df979344224f84594949bca96b40298e4ae1d7b28b40f3705ad4f85e3801724c6388fc048271216703b81fda0e56a314f3e88f
+DIST int_repr-0.16.0.tar.gz 9227 BLAKE2B 4dfb7a21cfe2bbd27051005f7eb1452925cac30b86ce3b20aeecbc0b2cf52966cbabbd9d56fa1fadfdc3c3912b33c4a1b323cfaf46e6c027ef6c31b4893e8901 SHA512 1b395d2c5c2322a8948f09e2b1c53382902edb1a390bc4659baf8eb87d085c90e551ede171a0d4d4b3c6fec18210ff100b02565461b42cabaedc446551c79841
diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild
new file mode 100644
index 000000000000..fffa9b22998e
--- /dev/null
+++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 2022-2023 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 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+DEPEND="
+ >=dev-lang/ocaml-4.14
+ dev-ml/ppx_jane:${SLOT}
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2024-06-02 19:36 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:36 UTC (permalink / raw
To: gentoo-commits
commit: 00fa33f1dfcdbedd08cfc2dd8d4e205394406440
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:48 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:07 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00fa33f1
dev-ml/int_repr: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild
index fffa9b22998e..a2102d539d85 100644
--- a/dev-ml/int_repr/int_repr-0.16.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2022-2023 Gentoo Authors
+# Copyright 2022-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2024-06-02 19:41 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:41 UTC (permalink / raw
To: gentoo-commits
commit: 00702ebf67a1098e4adfa6ce40b5726b5a2addec
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:38 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:38 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=00702ebf
dev-ml/int_repr: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild
index a2102d539d85..e888042c6cbd 100644
--- a/dev-ml/int_repr/int_repr-0.16.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2024-06-02 19:46 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:46 UTC (permalink / raw
To: gentoo-commits
commit: f2304f8e2ac4a357abeef31dfd146e7c490a93a3
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:21 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:21 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f2304f8e
dev-ml/int_repr: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild
index afef9b9fb2a7..1a9171440789 100644
--- a/dev-ml/int_repr/int_repr-0.16.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm ~arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 15+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/
@ 2024-06-12 5:40 Arthur Zamarin
0 siblings, 0 replies; 15+ messages in thread
From: Arthur Zamarin @ 2024-06-12 5:40 UTC (permalink / raw
To: gentoo-commits
commit: dc2aa2f929ec87df66e8ca9de6a40f178f9ddee6
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:46 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:46 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=dc2aa2f9
dev-ml/int_repr: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/int_repr/int_repr-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/int_repr/int_repr-0.16.0.ebuild b/dev-ml/int_repr/int_repr-0.16.0.ebuild
index 1a9171440789..b57d1f884e30 100644
--- a/dev-ml/int_repr/int_repr-0.16.0.ebuild
+++ b/dev-ml/int_repr/int_repr-0.16.0.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
LICENSE="MIT"
SLOT="0/$(ver_cut 1-2)"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 15+ messages in thread
end of thread, other threads:[~2024-06-12 5:40 UTC | newest]
Thread overview: 15+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-06-02 19:36 [gentoo-commits] repo/gentoo:master commit in: dev-ml/int_repr/ Arthur Zamarin
-- strict thread matches above, loose matches on Subject: below --
2024-06-12 5:40 Arthur Zamarin
2024-06-02 19:46 Arthur Zamarin
2024-06-02 19:41 Arthur Zamarin
2023-07-02 7:22 Alfredo Tupone
2023-06-15 18:20 Arthur Zamarin
2023-04-29 16:07 Arthur Zamarin
2023-04-29 16:07 Arthur Zamarin
2023-04-29 15:47 Arthur Zamarin
2023-04-19 6:58 Alfredo Tupone
2023-02-24 22:20 Sam James
2023-02-24 16:56 Sam James
2023-02-20 20:27 Arthur Zamarin
2023-02-10 8:28 Yixun Lan
2022-04-25 19:44 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox