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

2024-06-14 Thread Alfredo Tupone 
commit: 876005b496d042cc5801a539511495a0c6fc77cf
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Jun 14 17:20:08 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Jun 14 17:24:07 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=876005b4

dev-ml/ppx_module_timer: add 0.17.0

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

 dev-ml/ppx_module_timer/Manifest   |  1 +
 .../ppx_module_timer-0.17.0.ebuild | 27 ++
 profiles/package.mask  |  1 +
 3 files changed, 29 insertions(+)

diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest
index 7c29815a6e51..34708dc19518 100644
--- a/dev-ml/ppx_module_timer/Manifest
+++ b/dev-ml/ppx_module_timer/Manifest
@@ -1,3 +1,4 @@
 DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 
6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf
 SHA512 
cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7
 DIST ppx_module_timer-0.15.0.tar.gz 7242 BLAKE2B 
66c2bfbfcfc594ab568dd30cf874fea213fe8d72f23dbd9b56957ba95a8a01bcb8cb8f98ea42b399bad3afdba1c14edb5087a95720c87e22c865538166af4cf6
 SHA512 
4cd55dce6872cbed1d34c34043500651e605c406747914173584cee1d8f3ff298a75efeb8a4beb7840df76b5d7c7db98d15399d3c4a3a5dca2a11d57339df6de
 DIST ppx_module_timer-0.16.0.tar.gz 7281 BLAKE2B 
3be0d87198cb15c7a95b8b72648a8e986c6ef83dd173538931f8fc9426bc6bf384c76f62dea7440d637caa40548e19832da07c32528c46c3eca10d354a0a98a7
 SHA512 
6125aec05e91bb11d1b41fc4fb9a1030561403c7f27ea9d9512a6050da4cfdc796cfe3acb1d96e5333f65b6beab6f5b16b044529ccc6e99e90c019923adf85d9
+DIST ppx_module_timer-0.17.0.tar.gz 7315 BLAKE2B 
c960f023a94cd8f48be6fb4bd5ae6c07ab244d25fee9a279888679b7c60a0188e64ec0f999106b84abd4e5b78ce5267c8bdf6e4e63b17f4de07d3b363879b226
 SHA512 
205506db24d42340cf0a1b6c5c58cfc96835c15b4948ca30aa87d237010569ab9cd23792f12ac4dc5402e8ed681038a39db99ca0eb4117cc91794266fc3b32d4

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.17.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.17.0.ebuild
new file mode 100644
index ..a0e78ac596b3
--- /dev/null
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.17.0.ebuild
@@ -0,0 +1,27 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx rewriter that records top-level module startup times"
+HOMEPAGE="https://github.com/janestreet/ppx_module_timer";
+SRC_URI="https://github.com/janestreet/${PN}/archive/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_base:${SLOT}[ocamlopt?]
+   >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+   dev-ml/stdio:${SLOT}[ocamlopt?]
+   dev-ml/time_now:${SLOT}[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"

diff --git a/profiles/package.mask b/profiles/package.mask
index d3ea745f2060..4e43620dcb8a 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -264,6 +264,7 @@ dev-ml/ppx_string_conv:0/0.17
 dev-ml/ppx_stable_witness:0/0.17
 dev-ml/ppx_pipebang:0/0.17
 dev-ml/ppx_optional:0/0.17
+dev-ml/ppx_module_timer: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_module_timer/

2024-06-11 Thread Arthur Zamarin 
commit: aba5aeb9d85b7600fcb748dc3ca9f34fe00da7a4
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=aba5aeb9

dev-ml/ppx_module_timer: Stabilize 0.16.0 ppc64, #933369

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
index b97b6ec7ac0a..ae5b3460587f 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2024-06-02 Thread Arthur Zamarin 
commit: c2effd677cfe8ad3272ec8bd6871f711091fa69c
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=c2effd67

dev-ml/ppx_module_timer: Stabilize 0.16.0 arm64, #933369

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
index 202d11a2c0b8..b97b6ec7ac0a 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2024-06-02 Thread Arthur Zamarin 
commit: b6a39120604cea0706a558141542800e10f0ec7a
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=b6a39120

dev-ml/ppx_module_timer: Stabilize 0.16.0 x86, #933369

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
index 858a5726c54e..6fc2360584fe 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2024-06-02 Thread Arthur Zamarin 
commit: 8bf5b6b7ccd9e2d1c434a5363e7eceefc77cd1fc
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sun Jun  2 19:33:44 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sun Jun  2 19:34:05 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8bf5b6b7

dev-ml/ppx_module_timer: Stabilize 0.16.0 amd64, #933369

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
index 689ef33b1ce5..858a5726c54e 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-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/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_module_timer/

2024-02-17 Thread Alfredo Tupone 
commit: b016151616e42736058c2dff2530e843f5f4fc01
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat Feb 17 15:25:49 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat Feb 17 15:25:49 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b0161516

dev-ml/ppx_module_timer: update maintainers

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

 dev-ml/ppx_module_timer/metadata.xml | 5 -
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/metadata.xml 
b/dev-ml/ppx_module_timer/metadata.xml
index 7aea509f74a1..f0418bcac10b 100644
--- a/dev-ml/ppx_module_timer/metadata.xml
+++ b/dev-ml/ppx_module_timer/metadata.xml
@@ -1,7 +1,10 @@
 
 https://www.gentoo.org/dtd/metadata.dtd";>
 
-   
+   
+   m...@gentoo.org
+   ML
+   

janestreet/ppx_module_timer

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

2023-07-02 Thread Alfredo Tupone 
commit: 1cfb57de52b6561fbebf745beb7f5b0b36507a30
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Jul  2 06:31:44 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Jul  2 07:21:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1cfb57de

dev-ml/ppx_module_timer: add 0.16.0

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

 dev-ml/ppx_module_timer/Manifest   |  1 +
 .../ppx_module_timer-0.16.0.ebuild | 23 ++
 2 files changed, 24 insertions(+)

diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest
index 9b24e549140f..7c29815a6e51 100644
--- a/dev-ml/ppx_module_timer/Manifest
+++ b/dev-ml/ppx_module_timer/Manifest
@@ -1,2 +1,3 @@
 DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 
6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf
 SHA512 
cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7
 DIST ppx_module_timer-0.15.0.tar.gz 7242 BLAKE2B 
66c2bfbfcfc594ab568dd30cf874fea213fe8d72f23dbd9b56957ba95a8a01bcb8cb8f98ea42b399bad3afdba1c14edb5087a95720c87e22c865538166af4cf6
 SHA512 
4cd55dce6872cbed1d34c34043500651e605c406747914173584cee1d8f3ff298a75efeb8a4beb7840df76b5d7c7db98d15399d3c4a3a5dca2a11d57339df6de
+DIST ppx_module_timer-0.16.0.tar.gz 7281 BLAKE2B 
3be0d87198cb15c7a95b8b72648a8e986c6ef83dd173538931f8fc9426bc6bf384c76f62dea7440d637caa40548e19832da07c32528c46c3eca10d354a0a98a7
 SHA512 
6125aec05e91bb11d1b41fc4fb9a1030561403c7f27ea9d9512a6050da4cfdc796cfe3acb1d96e5333f65b6beab6f5b16b044529ccc6e99e90c019923adf85d9

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
new file mode 100644
index ..689ef33b1ce5
--- /dev/null
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.16.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx rewriter that records top-level module startup times"
+HOMEPAGE="https://github.com/janestreet/ppx_module_timer";
+SRC_URI="https://github.com/janestreet/${PN}/archive/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/time_now:${SLOT}
+   >=dev-ml/ppxlib-0.28.0:=
+"
+RDEPEND="${DEPEND}"

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

2023-03-25 Thread Arthur Zamarin 
commit: d95a84743518addaff900a039bcf2f1ba9d0c5ef
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 14:58:45 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 14:58:45 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d95a8474

dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 arm, #901579

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index beecf5a745e9..583e93b626c6 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2023-03-25 Thread Arthur Zamarin 
commit: c2f7997b668de3c1def71ac6e916a60bf7b3e2fc
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 14:58:02 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 14:58:02 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2f7997b

dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 ppc64, #901579

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index 7eaaec412de4..3b9e30e6d545 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2023-03-25 Thread Arthur Zamarin 
commit: 3795a6efd66873ab8855d9f758d6ea54df68684e
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 14:58:03 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 14:58:03 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3795a6ef

dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 x86, #901579

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index 3b9e30e6d545..beecf5a745e9 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2023-03-25 Thread Arthur Zamarin 
commit: c9108b29f21bd55f73586099e8cd43dd988ffd54
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Mar 25 14:56:42 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Mar 25 14:56:42 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c9108b29

dev-ml/ppx_module_timer: Stabilize 0.15.0-r1 arm64, #901579

Signed-off-by: Arthur Zamarin  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index 895d614eae9c..7eaaec412de4 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2023-03-16 Thread Alfredo Tupone 
commit: 6e390969c767352748c57ca6bc6c40263ac84ddb
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Mar 16 13:21:01 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Mar 16 13:21:01 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6e390969

dev-ml/ppx_module_timer: stabilize 0.15.0-r1 for amd64

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

 dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index 2e45e8226be7..895d614eae9c 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -12,7 +12,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/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_module_timer/

2023-02-10 Thread Alfredo Tupone 
commit: c6dee15861c0bb2de4ebe0df926ab641334c72a7
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Feb 10 07:55:46 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Feb 10 08:14:37 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c6dee158

dev-ml/ppx_module_timer: add ppxlib dep

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

 ...odule_timer-0.15.0.ebuild => ppx_module_timer-0.15.0-r1.ebuild} | 7 +--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
similarity index 81%
rename from dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild
rename to dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
index 5f458264d918..2e45e8226be7 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -15,5 +15,8 @@ SLOT="0/$(ver_cut 1-2)"
 KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 
-DEPEND="dev-ml/time_now:${SLOT}"
+DEPEND="
+   dev-ml/time_now:${SLOT}
+   >=dev-ml/ppxlib-0.23.0:=
+"
 RDEPEND="${DEPEND}"

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

2022-10-19 Thread Alfredo Tupone 
commit: f44ba4ece8765ac0489697f1dfdcd8f6265bd6ea
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Oct 19 20:30:46 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Oct 19 20:41:21 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f44ba4ec

dev-ml/ppx_module_timer: adj deps

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

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 7 ---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index b76f4079b10b..d88e7dcaf0f2 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -20,8 +20,9 @@ DEPEND="
>=dev-ml/stdio-0.14.0:=
>=dev-ml/time_now-0.14.0:=
>=dev-ml/ppxlib-0.18.0:=
-   >=dev-ml/ocaml-compiler-libs-0.11.0:=
-   >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
-   dev-ml/cinaps:=
+   >=dev-ml/ocaml-compiler-libs-0.11.0:=
+   >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
+   dev-ml/cinaps:=
+   dev-ml/sexplib0:=
 "
 RDEPEND="${DEPEND}"

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

2022-04-25 Thread Alfredo Tupone 
commit: a1944cc02370b0a5f6a7badcc797491878d04b24
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Apr 25 17:05:30 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Apr 25 17:05:30 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1944cc0

dev-ml/ppx_module_timer: 0.15.0 bump

Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone  gentoo.org>

 dev-ml/ppx_module_timer/Manifest  |  1 +
 .../ppx_module_timer/ppx_module_timer-0.15.0.ebuild   | 19 +++
 2 files changed, 20 insertions(+)

diff --git a/dev-ml/ppx_module_timer/Manifest b/dev-ml/ppx_module_timer/Manifest
index e07961242984..9b24e549140f 100644
--- a/dev-ml/ppx_module_timer/Manifest
+++ b/dev-ml/ppx_module_timer/Manifest
@@ -1 +1,2 @@
 DIST ppx_module_timer-0.14.0.tar.gz 7262 BLAKE2B 
6fafc6b4b449071f4a95619d078814b0c3ace3574df46585b72549e5db349ab476124c217f46c6903c7c8a059f779dc62cc8a079eb1ef6b4854646fdabdf04bf
 SHA512 
cd9b6bbd6461b7408a31a0f6ca010a3c755db1f4a22150645c530e7b4a0a4c76a308ad0f8aeddc54914a116f6d74bd738604cfd9d9d255197f9ea18904d715e7
+DIST ppx_module_timer-0.15.0.tar.gz 7242 BLAKE2B 
66c2bfbfcfc594ab568dd30cf874fea213fe8d72f23dbd9b56957ba95a8a01bcb8cb8f98ea42b399bad3afdba1c14edb5087a95720c87e22c865538166af4cf6
 SHA512 
4cd55dce6872cbed1d34c34043500651e605c406747914173584cee1d8f3ff298a75efeb8a4beb7840df76b5d7c7db98d15399d3c4a3a5dca2a11d57339df6de

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild
new file mode 100644
index ..5f458264d918
--- /dev/null
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.15.0.ebuild
@@ -0,0 +1,19 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx rewriter that records top-level module startup times"
+HOMEPAGE="https://github.com/janestreet/ppx_module_timer";
+SRC_URI="https://github.com/janestreet/${PN}/archive/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/time_now:${SLOT}"
+RDEPEND="${DEPEND}"

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

2020-10-23 Thread Sam James 
commit: c0dffaedd7a4d9da06b57b03d177f091ec48f44e
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 24 00:16:11 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 24 00:16:11 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c0dffaed

dev-ml/ppx_module_timer: Keyword 0.14.0 ppc, #748576

Signed-off-by: Sam James  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index 309580deeca..88748ac4474 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
 IUSE="+ocamlopt"
 
 DEPEND="

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

2020-10-16 Thread Sam James 
commit: edab44e2fd1b4e4a5753f20ed37c40e5c80d4d35
Author: Sam James  gentoo  org>
AuthorDate: Sat Oct 17 01:08:17 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Oct 17 01:08:17 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=edab44e2

dev-ml/ppx_module_timer: Keyword 0.14.0 x86, #748936

Signed-off-by: Sam James  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index bbaa8336616..309580deeca 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64"
+KEYWORDS="~amd64 ~arm ~arm64 ~x86"
 IUSE="+ocamlopt"
 
 DEPEND="

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

2020-10-16 Thread Mark Wright 
commit: d3e95cb77090fb9b57adcdf33b79df796f21a77a
Author: Mark Wright  gentoo  org>
AuthorDate: Fri Oct 16 14:21:55 2020 +
Commit: Mark Wright  gentoo  org>
CommitDate: Fri Oct 16 15:16:38 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d3e95cb7

dev-ml/ppx_module_timer: Fix deps

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Mark Wright  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 14 --
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index 83b75dd48de..bbaa8336616 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -15,11 +15,13 @@ KEYWORDS="~amd64 ~arm ~arm64"
 IUSE="+ocamlopt"
 
 DEPEND="
-   dev-ml/base:=
-   dev-ml/ppx_base:=
-   dev-ml/stdio:=
-   dev-ml/time_now:=
-   dev-ml/ppxlib:=
-   dev-ml/result:=
+   >=dev-ml/base-0.14.0:=
+   >=dev-ml/ppx_base-0.14.0:=
+   >=dev-ml/stdio-0.14.0:=
+   >=dev-ml/time_now-0.14.0:=
+   >=dev-ml/ppxlib-0.18.0:=
+   >=dev-ml/ocaml-compiler-libs-0.11.0:=
+   >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
+   dev-ml/cinaps:=
 "
 RDEPEND="${DEPEND}"

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

2020-10-15 Thread Sam James 
commit: 67766f5d861904a0152cd132132d91dfd0b70824
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 12:40:14 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 12:41:57 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=67766f5d

dev-ml/ppx_module_timer: arm64 keyworded (bug #748936)

Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Sam James  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index 3268e6e0b1c..83b75dd48de 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm"
+KEYWORDS="~amd64 ~arm ~arm64"
 IUSE="+ocamlopt"
 
 DEPEND="

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

2020-10-14 Thread Sam James 
commit: f0452277ebcd0bf09ce37f9f531ac4c3a429eb2e
Author: Sam James  gentoo  org>
AuthorDate: Thu Oct 15 01:16:26 2020 +
Commit: Sam James  gentoo  org>
CommitDate: Thu Oct 15 01:16:26 2020 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0452277

dev-ml/ppx_module_timer: Keyword 0.14.0 arm, #748936

Signed-off-by: Sam James  gentoo.org>

 dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild 
b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
index 5becf5b05ff..3268e6e0b1c 100644
--- a/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
+++ b/dev-ml/ppx_module_timer/ppx_module_timer-0.14.0.ebuild
@@ -11,7 +11,7 @@ 
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.g
 
 LICENSE="MIT"
 SLOT="0/${PV}"
-KEYWORDS="~amd64"
+KEYWORDS="~amd64 ~arm"
 IUSE="+ocamlopt"
 
 DEPEND="