* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2022-04-25 16:55 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-04-25 16:55 UTC (permalink / raw
To: gentoo-commits
commit: a1446ffdf825d35a9f2ee2a3c7c434bac134cc52
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 25 16:54:13 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Apr 25 16:54:47 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1446ffd
dev-ml/ppx_log: 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_log/Manifest | 1 +
dev-ml/ppx_log/metadata.xml | 11 +++++++++++
dev-ml/ppx_log/ppx_log-0.15.0.ebuild | 22 ++++++++++++++++++++++
3 files changed, 34 insertions(+)
diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest
new file mode 100644
index 000000000000..31481663845b
--- /dev/null
+++ b/dev-ml/ppx_log/Manifest
@@ -0,0 +1 @@
+DIST ppx_log-0.15.0.tar.gz 6672 BLAKE2B 3b45e705dfe6256d95e52b3fb1b1f98599d48fba6d4c565df95319566d5ab62965182d265db68a9b2f0b7e32103861639ff9ca46e1980e93e63abdeae83e79cd SHA512 1585f82615def2fc1c94853e9a1b9e3ebd2ef8193067f229f24580ea124c06736a2b361377801b9a44b7347e1938da051ed652764142e2270de3d3e8f375bf46
diff --git a/dev-ml/ppx_log/metadata.xml b/dev-ml/ppx_log/metadata.xml
new file mode 100644
index 000000000000..0a492ea7ad77
--- /dev/null
+++ b/dev-ml/ppx_log/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_log</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0.ebuild
new file mode 100644
index 000000000000..3f2040cb7317
--- /dev/null
+++ b/dev-ml/ppx_log/ppx_log-0.15.0.ebuild
@@ -0,0 +1,22 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Lazily rendering log messages"
+HOMEPAGE="https://github.com/janestreet/ppx_log"
+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_sexp_message:${SLOT}
+ dev-ml/sexplib:${SLOT}
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2023-02-10 8:15 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2023-02-10 8:15 UTC (permalink / raw
To: gentoo-commits
commit: 2159b41cb75dc0b82713b867877da063bdb7c0b4
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:03:13 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:14:48 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2159b41c
dev-ml/ppx_log: add ppxlib dep
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_log/{ppx_log-0.15.0.ebuild => ppx_log-0.15.0-r1.ebuild} | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
similarity index 88%
rename from dev-ml/ppx_log/ppx_log-0.15.0.ebuild
rename to dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 3f2040cb7317..2fc617654461 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0.ebuild
+++ b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2022 Gentoo Authors
+# Copyright 2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -17,6 +17,7 @@ IUSE="+ocamlopt"
DEPEND="
dev-ml/ppx_sexp_message:${SLOT}
dev-ml/sexplib:${SLOT}
+ >=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_log/
@ 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: acc84eaaf97757aff31beab5e65fc779a8c30f4a
Author: Yixun Lan <dlan <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 10 08:22:41 2023 +0000
Commit: Yixun Lan <dlan <AT> gentoo <DOT> org>
CommitDate: Fri Feb 10 08:22:41 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=acc84eaa
dev-ml/ppx_log: Keyword 0.15.0-r1 riscv, #892131
Signed-off-by: Yixun Lan <dlan <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 2fc617654461..27e833b41efb 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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"
+KEYWORDS="~amd64 ~riscv"
IUSE="+ocamlopt"
DEPEND="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: 615653216b5fcb8f34875efc75f802560a3082d6
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=61565321
dev-ml/ppx_log: Keyword 0.15.0-r1 x86, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 27e833b41efb..25070d35c8e0 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: 08229caafce7c321356b0b362337a4dcaa76a672
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 16:55:24 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 16:55:24 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08229caa
dev-ml/ppx_log: Keyword 0.15.0-r1 arm64, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 25070d35c8e0..fd377b76bbdc 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: d5fd040c1e7a218122a0ff9c0963d4028ef891a2
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Fri Feb 24 22:19:40 2023 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Feb 24 22:19:40 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d5fd040c
dev-ml/ppx_log: Keyword 0.15.0-r1 arm, #892131
Signed-off-by: Sam James <sam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index fd377b76bbdc..23d7605600f6 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: 3353518fd5a50dedcac3c31a994fbe0f8168996e
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 16 13:19:17 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Mar 16 13:19:17 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3353518f
dev-ml/ppx_log: stabilize 0.15.0-r1 for amd64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 23d7605600f6..644d94af1ffd 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2023-03-25 15:17 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:17 UTC (permalink / raw
To: gentoo-commits
commit: 2ddb321b9da4e16edf70e5d6f283f33005e2d75b
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:17:46 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:17:46 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ddb321b
dev-ml/ppx_log: Stabilize 0.15.0-r1 arm64, #901577
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 644d94af1ffd..5f9654c554c8 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2023-03-25 15:17 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:17 UTC (permalink / raw
To: gentoo-commits
commit: 29a4f340d0b3a183e23170089a628dca93407359
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:17:47 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:17:47 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=29a4f340
dev-ml/ppx_log: Stabilize 0.15.0-r1 arm, #901577
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 5f9654c554c8..9c87e718bf4e 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2023-03-25 15:17 Arthur Zamarin
0 siblings, 0 replies; 16+ messages in thread
From: Arthur Zamarin @ 2023-03-25 15:17 UTC (permalink / raw
To: gentoo-commits
commit: 87aeb6938b16c2a11a9daf1b3794a1b9d38fbd76
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 25 15:17:48 2023 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sat Mar 25 15:17:48 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=87aeb693
dev-ml/ppx_log: Stabilize 0.15.0-r1 x86, #901577
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 9c87e718bf4e..8b885ddf50e1 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: 1f39a99fef8d2b65fef6b67222df8514b4c2a78e
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=1f39a99f
dev-ml/ppx_log: Keyword 0.15.0-r1 ppc64, #892131
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild b/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
index 56256279364b..99e95be3b66d 100644
--- a/dev-ml/ppx_log/ppx_log-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 2023-06-30 20:07 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2023-06-30 20:07 UTC (permalink / raw
To: gentoo-commits
commit: 48916299cc26544358232f628d179ed0831d2e29
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 30 20:04:30 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jun 30 20:05:41 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48916299
dev-ml/ppx_log: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/ppx_log/Manifest | 1 +
dev-ml/ppx_log/ppx_log-0.16.0.ebuild | 25 +++++++++++++++++++++++++
2 files changed, 26 insertions(+)
diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest
index 31481663845b..89a888ed1ea6 100644
--- a/dev-ml/ppx_log/Manifest
+++ b/dev-ml/ppx_log/Manifest
@@ -1 +1,2 @@
DIST ppx_log-0.15.0.tar.gz 6672 BLAKE2B 3b45e705dfe6256d95e52b3fb1b1f98599d48fba6d4c565df95319566d5ab62965182d265db68a9b2f0b7e32103861639ff9ca46e1980e93e63abdeae83e79cd SHA512 1585f82615def2fc1c94853e9a1b9e3ebd2ef8193067f229f24580ea124c06736a2b361377801b9a44b7347e1938da051ed652764142e2270de3d3e8f375bf46
+DIST ppx_log-0.16.0.tar.gz 6706 BLAKE2B 7da65372fb1ad0f25023f1236634a1cb790f8ab3098a250ea1fac6056213973b02efac54c659c5dc950b2daf64673b761f6af91976bee3781f18f8e62c7c8d3f SHA512 6560720e4c329d8859850f06aa9c80f9446f361221ce57223ee2872944928079898bb644bf762d4907673368a18857390346a94d450ba4d2787abac77dea9e87
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
new file mode 100644
index 000000000000..68dfc4d4bf87
--- /dev/null
+++ b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
@@ -0,0 +1,25 @@
+# Copyright 2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+inherit dune
+
+DESCRIPTION="Lazily rendering log messages"
+HOMEPAGE="https://github.com/janestreet/ppx_log"
+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/base:${SLOT}
+ dev-ml/ppx_sexp_message:${SLOT}
+ dev-ml/sexplib:${SLOT}
+ >=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_log/
@ 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: 193fe7da00b163e821832fc4c77567274c6f3634
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:33:44 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:34:04 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=193fe7da
dev-ml/ppx_log: Stabilize 0.16.0 amd64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.16.0.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
index 68dfc4d4bf87..766e3a82d184 100644
--- a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
+++ b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2023 Gentoo Authors
+# Copyright 2023-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: 7e49611c6e90deff3228ac44a4afe3ff94537ec2
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:39:34 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:39:34 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e49611c
dev-ml/ppx_log: Stabilize 0.16.0 x86, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
index 766e3a82d184..971954b5f6cc 100644
--- a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: bff6d489bc1a5ccee9ac9b940b89651f28c66f3a
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Sun Jun 2 19:44:17 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Sun Jun 2 19:44:17 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bff6d489
dev-ml/ppx_log: Stabilize 0.16.0 arm64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
index 93e3f6696a4d..3c7d16709e06 100644
--- a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/
@ 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: bdb560b99dfd4c7d1bf477801b868fbcabc39808
Author: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 05:37:40 2024 +0000
Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 05:37:40 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bdb560b9
dev-ml/ppx_log: Stabilize 0.16.0 ppc64, #933369
Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org>
dev-ml/ppx_log/ppx_log-0.16.0.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild b/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
index 3c7d16709e06..f4d94bd5ef03 100644
--- a/dev-ml/ppx_log/ppx_log-0.16.0.ebuild
+++ b/dev-ml/ppx_log/ppx_log-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="
^ 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-06-30 20:07 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/ Alfredo Tupone
-- 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-06-15 18:20 Arthur Zamarin
2023-03-25 15:17 Arthur Zamarin
2023-03-25 15:17 Arthur Zamarin
2023-03-25 15:17 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
2023-02-10 8:15 Alfredo Tupone
2022-04-25 16:55 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox