* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2022-04-25 12:34 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-04-25 12:34 UTC (permalink / raw
To: gentoo-commits
commit: 9d70a97db87486608e4c73170046802f996bafa1
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 25 08:14:41 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Apr 25 12:32:53 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9d70a97d
dev-ml/ppx_ignore_instrumentation: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_ignore_instrumentation/Manifest | 1 +
dev-ml/ppx_ignore_instrumentation/metadata.xml | 11 +++++++++++
.../ppx_ignore_instrumentation-0.15.0.ebuild | 19 +++++++++++++++++++
3 files changed, 31 insertions(+)
diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest
new file mode 100644
index 000000000000..48731f202853
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/Manifest
@@ -0,0 +1 @@
+DIST ppx_ignore_instrumentation-0.15.0.tar.gz 3679 BLAKE2B 3537d4336a2299e277fcf1e58690233a9e1ecd94c80d144376bef90b45b3c2c94a8eaf5e5ba2b90b12d8f4e3afc257461c4732a2fadba8aa91c7f35ff036fb0f SHA512 ec411cb7a191fcb36f9a29f8ff3839db6f4031e30fa3444896a07235950ca04562a701b3bc7bc5df95e3ff82cfe8996be75bd5dce4bcce8a491898df1bffc50d
diff --git a/dev-ml/ppx_ignore_instrumentation/metadata.xml b/dev-ml/ppx_ignore_instrumentation/metadata.xml
new file mode 100644
index 000000000000..eac78c11ed14
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/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/ppx_ignore_instrumentation</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild
new file mode 100644
index 000000000000..ee7845db3535
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Ignore Jane Street specific instrumentation extensions"
+HOMEPAGE="https://github.com/janestreet/ppx_ignore_instrumentation"
+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/ppxlib-0.23.0"
+RDEPEND="${DEPEND}"
+BDEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2022-06-21 1:53 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2022-06-21 1:53 UTC (permalink / raw
To: gentoo-commits
commit: 17c933c1ad31aa3902b6771921303068028b4b26
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Tue Jun 21 01:46:51 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Tue Jun 21 01:46:51 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=17c933c1
dev-ml/ppx_ignore_instrumentation: fix OCaml dep
Signed-off-by: Sam James <sam <AT> gentoo.org>
...tation-0.15.0.ebuild => ppx_ignore_instrumentation-0.15.0-r1.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
similarity index 93%
rename from dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild
rename to dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index ee7845db3535..b6a836741e26 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -14,6 +14,6 @@ SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64"
IUSE="+ocamlopt"
-DEPEND=">=dev-ml/ppxlib-0.23.0"
+DEPEND=">=dev-ml/ppxlib-0.23.0:="
RDEPEND="${DEPEND}"
BDEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-02-10 8:28 Yixun Lan
0 siblings, 0 replies; 16+ messages in thread
From: Yixun Lan @ 2023-02-10 8:28 UTC (permalink / raw
To: gentoo-commits
commit: b6cd3b6c8a323f55f1e43df9e44958d40600bf55
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:22:37 2023 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:22:37 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b6cd3b6c
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 riscv, #892131
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index b6a836741e26..61f8d02c1200 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.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
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-02-20 20:27 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-02-20 20:27 UTC (permalink / raw
To: gentoo-commits
commit: d660b80ed2d901a4055356c0ceefb5fa5c9e3f21
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Mon Feb 20 20:26:27 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Mon Feb 20 20:26:27 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d660b80e
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 61f8d02c1200..e4e8ed1d1d19 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-02-24 16:56 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2023-02-24 16:56 UTC (permalink / raw
To: gentoo-commits
commit: 81f0d46ec1d01bed69c91d4c0510af90ca85c620
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 16:55:23 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 16:55:23 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81f0d46e
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm64, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index e4e8ed1d1d19..8aa5c3d50113 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-02-24 22:20 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2023-02-24 22:20 UTC (permalink / raw
To: gentoo-commits
commit: 4c5642bb1a781c50281ca075843b320bec1752b0
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 22:19:39 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 22:19:39 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4c5642bb
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 arm, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 8aa5c3d50113..3a90bdb69b42 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-03-16 13:42 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2023-03-16 13:42 UTC (permalink / raw
To: gentoo-commits
commit: 22c91873e5120ac0d70d32031434ff4060569e34
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 13:13:09 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 13:13:09 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=22c91873
dev-ml/ppx_ignore_instrumentation: stabilize 0.15.0-r1 for amd64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 3a90bdb69b42..3d16a36ca86a 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-03-17 10:11 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-17 10:11 UTC (permalink / raw
To: gentoo-commits
commit: fb5235a849c31062bbb3517a45531293b475760c
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 17 10:10:52 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 17 10:10:52 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb5235a8
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 x86, #901571
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 3d16a36ca86a..0460d396e996 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-03-17 10:11 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-17 10:11 UTC (permalink / raw
To: gentoo-commits
commit: ab410c245c6d52497094d88a9c0e31c77d647a30
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 17 10:10:53 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 17 10:10:53 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab410c24
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm, #901571
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 0460d396e996..6fd3bcab4bc4 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-03-24 20:05 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-24 20:05 UTC (permalink / raw
To: gentoo-commits
commit: 3746b6ae28772ca9d44741d3cea2064876a34725
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Fri Mar 24 20:05:40 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 24 20:05:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3746b6ae
dev-ml/ppx_ignore_instrumentation: Stabilize 0.15.0-r1 arm64, #901571
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 6fd3bcab4bc4..c94646a79fcd 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-06-15 18:20 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-06-15 18:20 UTC (permalink / raw
To: gentoo-commits
commit: 6d1f957a75ec4bc7f638e83fb4e687141387ab05
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Thu Jun 15 18:19:28 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Thu Jun 15 18:19:28 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6d1f957a
dev-ml/ppx_ignore_instrumentation: Keyword 0.15.0-r1 ppc64, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
index 26143c70a0f6..37888b721950 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.15.0-r1.ebuild
@@ -11,7 +11,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/ppxlib-0.23.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2023-07-02 7:22 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2023-07-02 7:22 UTC (permalink / raw
To: gentoo-commits
commit: df40d950db94c0e966a54429630258cc906a39c3
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Jul 2 06:28:35 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Jul 2 07:21:41 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=df40d950
dev-ml/ppx_ignore_instrumentation: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_ignore_instrumentation/Manifest | 1 +
.../ppx_ignore_instrumentation-0.16.0.ebuild | 19 +++++++++++++++++++
2 files changed, 20 insertions(+)
diff --git a/dev-ml/ppx_ignore_instrumentation/Manifest b/dev-ml/ppx_ignore_instrumentation/Manifest
index 48731f202853..cdab4c43bae3 100644
--- a/dev-ml/ppx_ignore_instrumentation/Manifest
+++ b/dev-ml/ppx_ignore_instrumentation/Manifest
@@ -1 +1,2 @@
DIST ppx_ignore_instrumentation-0.15.0.tar.gz 3679 BLAKE2B 3537d4336a2299e277fcf1e58690233a9e1ecd94c80d144376bef90b45b3c2c94a8eaf5e5ba2b90b12d8f4e3afc257461c4732a2fadba8aa91c7f35ff036fb0f SHA512 ec411cb7a191fcb36f9a29f8ff3839db6f4031e30fa3444896a07235950ca04562a701b3bc7bc5df95e3ff82cfe8996be75bd5dce4bcce8a491898df1bffc50d
+DIST ppx_ignore_instrumentation-0.16.0.tar.gz 3712 BLAKE2B f7d4bb193fd1296b2bc9e3ea12133bd71a63dbf85dff8049f9d779db338a5725df12e005fc021584b98d0e09b2d69bf0198537ef69356a1a46eeeaee5c4b0f2e SHA512 3ec3a706b2c0d8d170860d2a6fb24f6f95dc7d1b28e88d292f536302ef005158d76e4c586721f924e3c7c5098981e3d9569e28300dabaf0348585b56c62bb245
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
new file mode 100644
index 000000000000..1242ec81c0e0
--- /dev/null
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Ignore Jane Street specific instrumentation extensions"
+HOMEPAGE="https://github.com/janestreet/ppx_ignore_instrumentation"
+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-ml/ppxlib-0.28.0:="
+RDEPEND="${DEPEND}"
+BDEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2024-06-02 19:36 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:36 UTC (permalink / raw
To: gentoo-commits
commit: a9939ae0a883fe247579aef55c2cce7a77ae8e86
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:42 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:03 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a9939ae0
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
index 1242ec81c0e0..66fb0ecc66a9 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-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
@@ -11,7 +11,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=">=dev-ml/ppxlib-0.28.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2024-06-02 19:41 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:41 UTC (permalink / raw
To: gentoo-commits
commit: bbba52c87a17d4728d5e01363786aa6decedeb63
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:32 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:32 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bbba52c8
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
index 66fb0ecc66a9..2312ab0cb43f 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
@@ -11,7 +11,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=">=dev-ml/ppxlib-0.28.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2024-06-02 19:46 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-06-02 19:46 UTC (permalink / raw
To: gentoo-commits
commit: 6a8bf2fc1d8f26a18ab54f3da0c7d1838857d2a9
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:15 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:15 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a8bf2fc
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
index 7829c8b06b2e..5f939140f5d3 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
@@ -11,7 +11,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=">=dev-ml/ppxlib-0.28.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/
@ 2024-06-12 5:40 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2024-06-12 5:40 UTC (permalink / raw
To: gentoo-commits
commit: 63d7ead95b26d6eeeffa700dda1ce0e315645b8e
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:38 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:38 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=63d7ead9
dev-ml/ppx_ignore_instrumentation: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
.../ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
index 5f939140f5d3..7be975f4fed2 100644
--- a/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
+++ b/dev-ml/ppx_ignore_instrumentation/ppx_ignore_instrumentation-0.16.0.ebuild
@@ -11,7 +11,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=">=dev-ml/ppxlib-0.28.0:="
^ permalink raw reply related [flat|nested] 16+ messages in thread
end of thread, other threads:[~2024-06-12 5:40 UTC | newest]
Thread overview: 16+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-03-17 10:11 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_ignore_instrumentation/ 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
2024-06-02 19:36 Arthur Zamarin
2023-07-02 7:22 Alfredo Tupone
2023-06-15 18:20 Arthur Zamarin
2023-03-24 20:05 Arthur Zamarin
2023-03-17 10:11 Arthur Zamarin
2023-03-16 13:42 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-06-21 1:53 Sam James
2022-04-25 12:34 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox