[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/, profiles/

2024-06-13 Thread Alfredo Tupone 
commit: fc1fb6240722ddbc4e4b196c42f43ae503bfc707
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Jun 13 20:33:07 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Jun 13 20:35:09 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fc1fb624

dev-ml/ppx_log: add 0.17.0

Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/ppx_log/Manifest  |  1 +
 dev-ml/ppx_log/ppx_log-0.17.0.ebuild | 37 
 profiles/package.mask|  1 +
 3 files changed, 39 insertions(+)

diff --git a/dev-ml/ppx_log/Manifest b/dev-ml/ppx_log/Manifest
index 89a888ed1ea6..f88299e077c8 100644
--- a/dev-ml/ppx_log/Manifest
+++ b/dev-ml/ppx_log/Manifest
@@ -1,2 +1,3 @@
 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
+DIST ppx_log-0.17.0.tar.gz 37668 BLAKE2B 
357b9ea6743e887d2b156a4374bd88d4bf598ea85ca3d3391155b15dab2e8d0aeaddfd6745e5e46f53588e0065456ee4e06a5cfe3c049e7e78771d487b1fce56
 SHA512 
9944bf182bc2a9ac02e278f00b73f75bc5a899ca71e42fce3a813b6ca8c3a8e16a159b1756cbf506996b287193b503a53ec80cf524c44a1fbbdcb44c456efd6f

diff --git a/dev-ml/ppx_log/ppx_log-0.17.0.ebuild 
b/dev-ml/ppx_log/ppx_log-0.17.0.ebuild
new file mode 100644
index ..a27a988d682a
--- /dev/null
+++ b/dev-ml/ppx_log/ppx_log-0.17.0.ebuild
@@ -0,0 +1,37 @@
+# Copyright 2023-2024 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 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+   >=dev-lang/ocaml-5
+   dev-ml/base:${SLOT}[ocamlopt?]
+   dev-ml/ppx_compare:${SLOT}[ocamlopt?]
+   dev-ml/ppx_enumerate:${SLOT}[ocamlopt?]
+   dev-ml/ppx_expect:${SLOT}[ocamlopt?]
+   dev-ml/ppx_fields_conv:${SLOT}[ocamlopt?]
+   dev-ml/ppx_here:${SLOT}[ocamlopt?]
+   dev-ml/ppx_let:${SLOT}[ocamlopt?]
+   dev-ml/ppx_sexp_conv:${SLOT}[ocamlopt?]
+   dev-ml/ppx_sexp_message:${SLOT}[ocamlopt?]
+   dev-ml/ppx_sexp_value:${SLOT}[ocamlopt?]
+   dev-ml/ppx_string:${SLOT}[ocamlopt?]
+   dev-ml/ppx_variants_conv:${SLOT}[ocamlopt?]
+   >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+   dev-ml/sexplib:${SLOT}[ocamlopt?]
+   dev-ml/stdio:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"

diff --git a/profiles/package.mask b/profiles/package.mask
index 09f0c8b33734..a3f84242f962 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -211,6 +211,7 @@ dev-ml/parsexp:0/0.17
 dev-ml/sexplib:0/0.17
 dev-ml/variantslib:0/0.17
 dev-ml/ppx_variants_conv:0/0.17
+dev-ml/ppx_log:0/0.17
 
 # Arthur Zamarin  (2024-06-08)
 # EAPI=6, waiting for a version bump, not maintained for many years.

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2024-06-11 Thread Arthur Zamarin 
commit: bdb560b99dfd4c7d1bf477801b868fbcabc39808
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Wed Jun 12 05:37:40 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Wed Jun 12 05:37:40 2024 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2024-06-02 Thread Arthur Zamarin 
commit: bff6d489bc1a5ccee9ac9b940b89651f28c66f3a
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:44:17 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:44:17 2024 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2024-06-02 Thread Arthur Zamarin 
commit: 7e49611c6e90deff3228ac44a4afe3ff94537ec2
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:39:34 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:39:34 2024 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2024-06-02 Thread Arthur Zamarin 
commit: 193fe7da00b163e821832fc4c77567274c6f3634
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:33:44 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:34:04 2024 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-06-30 Thread Alfredo Tupone 
commit: 48916299cc26544358232f628d179ed0831d2e29
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Jun 30 20:04:30 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Jun 30 20:05:41 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=48916299

dev-ml/ppx_log: add 0.16.0

Signed-off-by: Alfredo Tupone  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 ..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=""

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-06-15 Thread Arthur Zamarin 
commit: 1f39a99fef8d2b65fef6b67222df8514b4c2a78e
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Thu Jun 15 18:19:28 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Thu Jun 15 18:19:28 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-03-25 Thread Arthur Zamarin 
commit: 87aeb6938b16c2a11a9daf1b3794a1b9d38fbd76
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:17:48 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:17:48 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-03-25 Thread Arthur Zamarin 
commit: 2ddb321b9da4e16edf70e5d6f283f33005e2d75b
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:17:46 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:17:46 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-03-25 Thread Arthur Zamarin 
commit: 29a4f340d0b3a183e23170089a628dca93407359
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 15:17:47 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 15:17:47 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-03-16 Thread Alfredo Tupone 
commit: 3353518fd5a50dedcac3c31a994fbe0f8168996e
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Mar 16 13:19:17 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Mar 16 13:19:17 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-02-24 Thread Sam James 
commit: d5fd040c1e7a218122a0ff9c0963d4028ef891a2
Author: Sam James  gentoo  org>
AuthorDate: Fri Feb 24 22:19:40 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Feb 24 22:19:40 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-02-24 Thread Sam James 
commit: 08229caafce7c321356b0b362337a4dcaa76a672
Author: Sam James  gentoo  org>
AuthorDate: Fri Feb 24 16:55:24 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Fri Feb 24 16:55:24 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-02-20 Thread Arthur Zamarin 
commit: 615653216b5fcb8f34875efc75f802560a3082d6
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Mon Feb 20 20:26:27 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Mon Feb 20 20:26:27 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-02-10 Thread Yixun Lan 
commit: acc84eaaf97757aff31beab5e65fc779a8c30f4a
Author: Yixun Lan  gentoo  org>
AuthorDate: Fri Feb 10 08:22:41 2023 +
Commit: Yixun Lan  gentoo  org>
CommitDate: Fri Feb 10 08:22:41 2023 +
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  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="

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2023-02-10 Thread Alfredo Tupone 
commit: 2159b41cb75dc0b82713b867877da063bdb7c0b4
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Feb 10 08:03:13 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Feb 10 08:14:48 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2159b41c

dev-ml/ppx_log: add ppxlib dep

Signed-off-by: Alfredo Tupone  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=""

[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_log/

2022-04-25 Thread Alfredo Tupone 
commit: a1446ffdf825d35a9f2ee2a3c7c434bac134cc52
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Apr 25 16:54:13 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Apr 25 16:54:47 2022 +
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  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 ..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 ..0a492ea7ad77
--- /dev/null
+++ b/dev-ml/ppx_log/metadata.xml
@@ -0,0 +1,11 @@
+
+https://www.gentoo.org/dtd/metadata.dtd;>
+
+   
+   m...@gentoo.org
+   ML
+   
+   
+   janestreet/ppx_log
+   
+

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 ..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=""