[gentoo-commits] repo/gentoo:master commit in: dev-ml/time_now/, profiles/
commit: 9f07a7d16b4c35dc2ed0ab8aa35b4d73e8487cd9 Author: Alfredo Tupone gentoo org> AuthorDate: Thu Jun 13 16:36:00 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jun 13 16:45:24 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9f07a7d1 dev-ml/time_now: add 0.17.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/time_now/Manifest | 1 + dev-ml/time_now/time_now-0.17.0.ebuild | 26 ++ profiles/package.mask | 1 + 3 files changed, 28 insertions(+) diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest index 33a333793b0c..684030a95c75 100644 --- a/dev-ml/time_now/Manifest +++ b/dev-ml/time_now/Manifest @@ -1,3 +1,4 @@ DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f DIST time_now-0.15.0.tar.gz 3697 BLAKE2B 142e848aa17f3cd14ef9d90a758f21b2ae3881e7e70c1b25fac0980a1d925d41953ded6632423b24e9f124887e71dc07ce1f7c838e45d18724a036bb5cb29473 SHA512 b24bf9fda05cc84c568cc8637771e8774661df738719b4ad30f86ae4a9a984e9f1d344dc58ab6014d37275e99e92bf3b2d34a8c4dfc474faf00c6096f679e371 DIST time_now-0.16.0.tar.gz 3729 BLAKE2B df7569be37f608bd3f466dc8da96357d42c7bf48f299dd9054313bdfad7e40f89f368e7dd5e0c2ee53f2b59d43650bd3006ade9bdfde1261cda26d4c306c SHA512 59c380bc89ac5185e344ef051180270bad62ccc7ad60aec4279aba5f71bae8dae6ac29136a6ca85ad7b24e204615fd84cd7db0901b6550de490e8992301c0ac2 +DIST time_now-0.17.0.tar.gz 4717 BLAKE2B 49f9af322194582c37961ac4f386a757e317563461e0a04c141bcb1abcc3b4f5d4a7f49f5d5aec0580db19c38d980de9e5ad8d3b1e4d573e12a7476e99bbb260 SHA512 d8d4682566b09799d68136ccfe4fb7475136ce62f8b8c63f7ec73b7f1a2dc7ebf0a4466a98cd09094e4c64376f4be233d1de997368c7d3598e1b30860992 diff --git a/dev-ml/time_now/time_now-0.17.0.ebuild b/dev-ml/time_now/time_now-0.17.0.ebuild new file mode 100644 index ..776a7f0ed33d --- /dev/null +++ b/dev-ml/time_now/time_now-0.17.0.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Reports the current time" +HOMEPAGE="https://github.com/janestreet/time_now; +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" + +RDEPEND=" + >=dev-lang/ocaml-5 + dev-ml/base:${SLOT}[ocamlopt?] + dev-ml/jane-street-headers:${SLOT}[ocamlopt?] + dev-ml/jst-config:${SLOT}[ocamlopt?] + dev-ml/ppx_base:${SLOT}[ocamlopt?] + dev-ml/ppx_optcomp:${SLOT}[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND=">=dev-ml/dune-3.11" diff --git a/profiles/package.mask b/profiles/package.mask index a8fa234c832b..9eb07d17056f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -199,6 +199,7 @@ dev-ml/ppx_assert:0/0.17 dev-ml/jane-street-headers:0/0.17 dev-ml/ppx_optcomp:0/0.17 dev-ml/jst-config:0/0.17 +dev-ml/time_now: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/time_now/
commit: 7c922d39c0f93146772875cd83a38513d57ae6d9 Author: Alfredo Tupone gentoo org> AuthorDate: Sat Feb 17 15:30:08 2024 + Commit: Alfredo Tupone gentoo org> CommitDate: Sat Feb 17 15:30:56 2024 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7c922d39 dev-ml/time_now: update maintainers Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/time_now/metadata.xml | 5 - 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/dev-ml/time_now/metadata.xml b/dev-ml/time_now/metadata.xml index d7a2c6c97530..65feccd9ce16 100644 --- a/dev-ml/time_now/metadata.xml +++ b/dev-ml/time_now/metadata.xml @@ -1,7 +1,10 @@ https://www.gentoo.org/dtd/metadata.dtd;> - + + m...@gentoo.org + ML + janestreet/time_now
[gentoo-commits] repo/gentoo:master commit in: dev-ml/time_now/
commit: 0d09564b338f38419a92c9e5711c0325b269 Author: Alfredo Tupone gentoo org> AuthorDate: Fri Jun 30 12:47:35 2023 + Commit: Alfredo Tupone gentoo org> CommitDate: Fri Jun 30 13:13:58 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d09564b dev-ml/time_now: add 0.16.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/time_now/Manifest | 1 + dev-ml/time_now/time_now-0.16.0.ebuild | 28 2 files changed, 29 insertions(+) diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest index 22463d56e42f..33a333793b0c 100644 --- a/dev-ml/time_now/Manifest +++ b/dev-ml/time_now/Manifest @@ -1,2 +1,3 @@ DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f DIST time_now-0.15.0.tar.gz 3697 BLAKE2B 142e848aa17f3cd14ef9d90a758f21b2ae3881e7e70c1b25fac0980a1d925d41953ded6632423b24e9f124887e71dc07ce1f7c838e45d18724a036bb5cb29473 SHA512 b24bf9fda05cc84c568cc8637771e8774661df738719b4ad30f86ae4a9a984e9f1d344dc58ab6014d37275e99e92bf3b2d34a8c4dfc474faf00c6096f679e371 +DIST time_now-0.16.0.tar.gz 3729 BLAKE2B df7569be37f608bd3f466dc8da96357d42c7bf48f299dd9054313bdfad7e40f89f368e7dd5e0c2ee53f2b59d43650bd3006ade9bdfde1261cda26d4c306c SHA512 59c380bc89ac5185e344ef051180270bad62ccc7ad60aec4279aba5f71bae8dae6ac29136a6ca85ad7b24e204615fd84cd7db0901b6550de490e8992301c0ac2 diff --git a/dev-ml/time_now/time_now-0.16.0.ebuild b/dev-ml/time_now/time_now-0.16.0.ebuild new file mode 100644 index ..18c454106009 --- /dev/null +++ b/dev-ml/time_now/time_now-0.16.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Reports the current time" +HOMEPAGE="https://github.com/janestreet/time_now; +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/base:${SLOT} + dev-ml/jane-street-headers:${SLOT} + dev-ml/jst-config:${SLOT} + dev-ml/ppx_base:${SLOT} + dev-ml/ppx_enumerate:= + dev-ml/ppx_hash:= + dev-ml/ppx_optcomp:${SLOT} + dev-ml/stdio:= +" +RDEPEND="${DEPEND}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/time_now/
commit: 53ff6e1552dc33e43b89d8ea144f02c0f7a07832 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Mar 25 14:40:34 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Mar 25 14:40:34 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=53ff6e15 dev-ml/time_now: Stabilize 0.15.0 ppc64, #901549 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/time_now/time_now-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/time_now/time_now-0.15.0.ebuild b/dev-ml/time_now/time_now-0.15.0.ebuild index 6ebb2ded5328..494e3af7de71 100644 --- a/dev-ml/time_now/time_now-0.15.0.ebuild +++ b/dev-ml/time_now/time_now-0.15.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/$(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/time_now/
commit: 8cb924f47877630d33d2ae79348cec6439c32902 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Mar 25 14:40:35 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Mar 25 14:40:35 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8cb924f4 dev-ml/time_now: Stabilize 0.15.0 arm, #901549 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/time_now/time_now-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/time_now/time_now-0.15.0.ebuild b/dev-ml/time_now/time_now-0.15.0.ebuild index 494e3af7de71..f71d16fcf28a 100644 --- a/dev-ml/time_now/time_now-0.15.0.ebuild +++ b/dev-ml/time_now/time_now-0.15.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/$(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/time_now/
commit: 2291384b6e45dbb3ce4127973c104c865f5ec54a Author: Arthur Zamarin gentoo org> AuthorDate: Sat Mar 25 14:39:54 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Mar 25 14:39:54 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2291384b dev-ml/time_now: Stabilize 0.15.0 arm64, #901549 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/time_now/time_now-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/time_now/time_now-0.15.0.ebuild b/dev-ml/time_now/time_now-0.15.0.ebuild index 51008fa28fed..bc14ebe00327 100644 --- a/dev-ml/time_now/time_now-0.15.0.ebuild +++ b/dev-ml/time_now/time_now-0.15.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/$(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/time_now/
commit: f976ab20515b3954a37d5d543d2fda72770ae6f0 Author: Arthur Zamarin gentoo org> AuthorDate: Sat Mar 25 14:39:55 2023 + Commit: Arthur Zamarin gentoo org> CommitDate: Sat Mar 25 14:39:55 2023 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f976ab20 dev-ml/time_now: Stabilize 0.15.0 x86, #901549 Signed-off-by: Arthur Zamarin gentoo.org> dev-ml/time_now/time_now-0.15.0.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-ml/time_now/time_now-0.15.0.ebuild b/dev-ml/time_now/time_now-0.15.0.ebuild index bc14ebe00327..6ebb2ded5328 100644 --- a/dev-ml/time_now/time_now-0.15.0.ebuild +++ b/dev-ml/time_now/time_now-0.15.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/$(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/time_now/
commit: 5fa48c333dbe927e371d01c3503f1ed340018599 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 24 13:54:05 2022 + Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 24 13:54:05 2022 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5fa48c33 dev-ml/time_now: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/time_now/Manifest | 1 + dev-ml/time_now/time_now-0.15.0.ebuild | 23 +++ 2 files changed, 24 insertions(+) diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest index ac58278f0442..22463d56e42f 100644 --- a/dev-ml/time_now/Manifest +++ b/dev-ml/time_now/Manifest @@ -1 +1,2 @@ DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f +DIST time_now-0.15.0.tar.gz 3697 BLAKE2B 142e848aa17f3cd14ef9d90a758f21b2ae3881e7e70c1b25fac0980a1d925d41953ded6632423b24e9f124887e71dc07ce1f7c838e45d18724a036bb5cb29473 SHA512 b24bf9fda05cc84c568cc8637771e8774661df738719b4ad30f86ae4a9a984e9f1d344dc58ab6014d37275e99e92bf3b2d34a8c4dfc474faf00c6096f679e371 diff --git a/dev-ml/time_now/time_now-0.15.0.ebuild b/dev-ml/time_now/time_now-0.15.0.ebuild new file mode 100644 index ..b4f45fd13b0e --- /dev/null +++ b/dev-ml/time_now/time_now-0.15.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Reports the current time" +HOMEPAGE="https://github.com/janestreet/time_now; +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/jane-street-headers:${SLOT} + dev-ml/jst-config:${SLOT} + dev-ml/ppx_base:${SLOT} + dev-ml/ppx_optcomp:${SLOT} +" +RDEPEND="${DEPEND}"
[gentoo-commits] repo/gentoo:master commit in: dev-ml/time_now/
commit: a56e0c1eb013eab45d6f9ef1b365e3117340c9eb Author: Mark Wright gentoo org> AuthorDate: Tue Oct 13 07:08:02 2020 + Commit: Mark Wright gentoo org> CommitDate: Tue Oct 13 12:53:46 2020 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a56e0c1e dev-ml/time_now: Dependency of dev-ml/ppx_inline_test Co-Author: Alexis Ballier gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright gentoo.org> dev-ml/time_now/Manifest | 1 + dev-ml/time_now/metadata.xml | 11 +++ dev-ml/time_now/time_now-0.14.0.ebuild | 24 3 files changed, 36 insertions(+) diff --git a/dev-ml/time_now/Manifest b/dev-ml/time_now/Manifest new file mode 100644 index 000..ac58278f044 --- /dev/null +++ b/dev-ml/time_now/Manifest @@ -0,0 +1 @@ +DIST time_now-0.14.0.tar.gz 3666 BLAKE2B 131d4b585ac981fe306ea93f17e332cfabe86a3f8f4564a76e4dc694f9c624e91fe0f0ce26a4ada9fdf0239033fcd29065d76a37e6fb4b79927d116531c04909 SHA512 1b6d1a754e46f1756aa2aad3590e5052999f567630297491d62228ad733b189fbbfc0589b7bafd74e9f77ca0c0421093054e9062d2d5a7d7ed05930be67e9a5f diff --git a/dev-ml/time_now/metadata.xml b/dev-ml/time_now/metadata.xml new file mode 100644 index 000..b78a86fdab8 --- /dev/null +++ b/dev-ml/time_now/metadata.xml @@ -0,0 +1,11 @@ + +http://www.gentoo.org/dtd/metadata.dtd;> + + + gie...@gentoo.org + Mark Wright + + + janestreet/time_now + + diff --git a/dev-ml/time_now/time_now-0.14.0.ebuild b/dev-ml/time_now/time_now-0.14.0.ebuild new file mode 100644 index 000..fd5dabc3a0c --- /dev/null +++ b/dev-ml/time_now/time_now-0.14.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Reports the current time" +HOMEPAGE="https://github.com/janestreet/time_now; +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/base:= + dev-ml/jane-street-headers:= + dev-ml/jst-config:= + dev-ml/ppx_base:= + dev-ml/ppx_optcomp:= +" +RDEPEND="${DEPEND}"