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

2024-07-03 Thread Alfredo Tupone
commit: b76f8441a0b9cb8b146c73a59096a04c831b8df3
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Jul  3 06:21:18 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Jul  3 16:02:05 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b76f8441

dev-ml/ordering: add 3.16.0

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

 dev-ml/ordering/Manifest   |  1 +
 dev-ml/ordering/ordering-3.16.0.ebuild | 29 +
 2 files changed, 30 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 61a3f0d1c460..6ac9178caca4 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,5 +1,6 @@
 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 
5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230
 SHA512 
2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
 DIST dune-3.11.1.tar.gz 2753844 BLAKE2B 
de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644
 SHA512 
8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4
 DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 
88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57
 SHA512 
910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
+DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 
5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e
 SHA512 
3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b

diff --git a/dev-ml/ordering/ordering-3.16.0.ebuild 
b/dev-ml/ordering/ordering-3.16.0.ebuild
new file mode 100644
index ..b13db81274d8
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.16.0.ebuild
@@ -0,0 +1,29 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.12"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune-compile ${PN}
+}



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

2024-07-02 Thread Alfredo Tupone
commit: 105f3679f08c36408b3c989e151cec271e4818ef
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Jul  2 06:53:55 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Jul  2 07:17:03 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=105f3679

dev-ml/ordering: add 3.13.1

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

 dev-ml/ordering/Manifest   |  1 +
 dev-ml/ordering/ordering-3.13.1.ebuild | 29 +
 2 files changed, 30 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 717642c57235..61a3f0d1c460 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,4 +1,5 @@
 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 
5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230
 SHA512 
2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
 DIST dune-3.11.1.tar.gz 2753844 BLAKE2B 
de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644
 SHA512 
8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4
+DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 
88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57
 SHA512 
910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b

diff --git a/dev-ml/ordering/ordering-3.13.1.ebuild 
b/dev-ml/ordering/ordering-3.13.1.ebuild
new file mode 100644
index ..66c9a48a8b2b
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.13.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune-compile ${PN}
+}



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

2024-06-08 Thread Arthur Zamarin
commit: 7127ff95779bcd29a70dcdb8b32b8aa8127bd9f5
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Jun  8 15:39:32 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Jun  8 15:39:32 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7127ff95

dev-ml/ordering: Stabilize 3.10.0 arm, #933822

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

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

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
index b8bb9283bc2e..f2ca25f126e5 100644
--- a/dev-ml/ordering/ordering-3.10.0.ebuild
+++ b/dev-ml/ordering/ordering-3.10.0.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2024-06-08 Thread Sam James
commit: adb5b27722dc3b541dd4ae94a63573aefb18795c
Author: Sam James  gentoo  org>
AuthorDate: Sat Jun  8 15:32:04 2024 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Jun  8 15:32:04 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=adb5b277

dev-ml/ordering: Stabilize 3.10.0 arm64, #933822

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

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

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
index 5c8a9e6d997d..b8bb9283bc2e 100644
--- a/dev-ml/ordering/ordering-3.10.0.ebuild
+++ b/dev-ml/ordering/ordering-3.10.0.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2024-06-08 Thread Arthur Zamarin
commit: 84947740f05fc6d52e9ecd4a76e66438057820f1
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Jun  8 14:20:55 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Jun  8 14:20:55 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=84947740

dev-ml/ordering: Stabilize 3.10.0 amd64, #933822

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

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

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
index 44b6b7274a79..5c8a9e6d997d 100644
--- a/dev-ml/ordering/ordering-3.10.0.ebuild
+++ b/dev-ml/ordering/ordering-3.10.0.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2024-06-08 Thread Arthur Zamarin
commit: 2bdf1c8a51c30036e192dfe626b4a89af608be52
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Jun  8 14:20:49 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Jun  8 14:20:49 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2bdf1c8a

dev-ml/ordering: Stabilize 3.10.0 x86, #933822

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

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

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
index 7843206286fb..44b6b7274a79 100644
--- a/dev-ml/ordering/ordering-3.10.0.ebuild
+++ b/dev-ml/ordering/ordering-3.10.0.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2024-06-08 Thread Arthur Zamarin
commit: 2ba1110081dabf642b965c19790bb0affe39a852
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Jun  8 14:20:44 2024 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Jun  8 14:20:44 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ba11100

dev-ml/ordering: Stabilize 3.10.0 ppc64, #933822

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

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

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
index 3302c44ddac1..7843206286fb 100644
--- a/dev-ml/ordering/ordering-3.10.0.ebuild
+++ b/dev-ml/ordering/ordering-3.10.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
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2024-06-08 Thread Alfredo Tupone
commit: 3137daec51238f710951f7ecf9068dd183b8ffbd
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat Jun  8 13:44:19 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat Jun  8 13:45:19 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3137daec

dev-ml/ordering: add 3.11.1

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

 dev-ml/ordering/Manifest   |  1 +
 dev-ml/ordering/ordering-3.11.1.ebuild | 29 +
 2 files changed, 30 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index e03842497f86..717642c57235 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,3 +1,4 @@
 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 
5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230
 SHA512 
2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
+DIST dune-3.11.1.tar.gz 2753844 BLAKE2B 
de80e4be355fe7c6f04f0004fbf28dac18c803fb055bd74a1c30a8983f8a234a487244561bd622f3330cfb55670163355c2a1647e847d2e3966690a62a10b644
 SHA512 
8d2eef71ae04a95b1d69784311726cafc3b275e1f202851eb116d6e7740015ce2453ec00278ef3b28c0b1544b10dbff36d942b063d7bb0ebc0a03a9a5f8261d4
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b

diff --git a/dev-ml/ordering/ordering-3.11.1.ebuild 
b/dev-ml/ordering/ordering-3.11.1.ebuild
new file mode 100644
index ..66c9a48a8b2b
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.11.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune-compile ${PN}
+}



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

2024-06-06 Thread Alfredo Tupone
commit: 31110d1ddac78b889dadc789bf6e8819516b7102
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Thu Jun  6 06:14:53 2024 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Thu Jun  6 06:15:34 2024 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=31110d1d

dev-ml/ordering: drop versions

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

 dev-ml/ordering/Manifest  |  7 ---
 dev-ml/ordering/ordering-3.0.3.ebuild | 32 
 dev-ml/ordering/ordering-3.2.0.ebuild | 30 --
 dev-ml/ordering/ordering-3.6.1.ebuild | 30 --
 dev-ml/ordering/ordering-3.7.0.ebuild | 30 --
 dev-ml/ordering/ordering-3.8.0.ebuild | 30 --
 dev-ml/ordering/ordering-3.9.0.ebuild | 30 --
 dev-ml/ordering/ordering-3.9.1.ebuild | 30 --
 8 files changed, 219 deletions(-)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index f68aa6173e46..e03842497f86 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,10 +1,3 @@
-DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
 DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 
5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230
 SHA512 
2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
-DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
-DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
-DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32
 SHA512 
f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
-DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 
773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355
 SHA512 
bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98
-DIST dune-3.9.0.tar.gz 2609923 BLAKE2B 
f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6
 SHA512 
86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070
-DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 
0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611
 SHA512 
c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b

diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild 
b/dev-ml/ordering/ordering-3.0.3.ebuild
deleted file mode 100644
index 5b971ed0de41..
--- a/dev-ml/ordering/ordering-3.0.3.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# Copyright 2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune multiprocessing
-
-DESCRIPTION="Element ordering"
-HOMEPAGE="https://github.com/ocaml/dune;
-SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> 
dune-${PV}.tar.gz"
-S="${WORKDIR}/dune-${PV}"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
-IUSE="+ocamlopt"
-RESTRICT="test"
-
-BDEPEND=">=dev-ml/dune-3"
-DEPEND=">=dev-lang/ocaml-4.08"

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

2023-08-02 Thread Alfredo Tupone
commit: 8490c539ac179c3d1017b9d3f2ab36cc309d0924
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Aug  2 19:40:39 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Aug  2 19:52:14 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8490c539

dev-ml/ordering: add 3.10.0

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

 dev-ml/ordering/Manifest   |  1 +
 dev-ml/ordering/ordering-3.10.0.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 37a687aaba1e..f68aa6173e46 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,4 +1,5 @@
 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.10.0.tar.gz 2640800 BLAKE2B 
5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230
 SHA512 
2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be

diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild 
b/dev-ml/ordering/ordering-3.10.0.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.10.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-07-11 Thread Alfredo Tupone
commit: bb010eded4b2b233a7796d4413f30c1ee7a895c6
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Jul 11 16:54:28 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Jul 11 16:54:28 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb010ede

dev-ml/ordering: add 3.9.1

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.9.1.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 568c80378bcf..37a687aaba1e 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -6,3 +6,4 @@ DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b7
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
 DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 
773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355
 SHA512 
bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98
 DIST dune-3.9.0.tar.gz 2609923 BLAKE2B 
f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6
 SHA512 
86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070
+DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 
0b97f6a951bd013a156a1417f6b65df17324adf13d48ad3b8bf45a4133cc77195e2118ae95f0cb9da488c26378b58ce677db8eb4b3cb028a73c779be57b2d611
 SHA512 
c997ec2205fa5391acbca9e196387cec1af69d3aed4cebe21d82edbe66bd91fda0c742e7ff2e3ffb8df88e2e379bbff68028574664cf375d04f4d3f3f2102f3b

diff --git a/dev-ml/ordering/ordering-3.9.1.ebuild 
b/dev-ml/ordering/ordering-3.9.1.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.9.1.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-07-03 Thread Alfredo Tupone
commit: 788aea635c73d94714e81b9e7c3653469306629c
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Jul  3 18:50:04 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Jul  3 19:02:03 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=788aea63

dev-ml/ordering: add 3.9.0

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.9.0.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index a510214c06d7..568c80378bcf 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -5,3 +5,4 @@ DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10
 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32
 SHA512 
f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
 DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 
773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355
 SHA512 
bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98
+DIST dune-3.9.0.tar.gz 2609923 BLAKE2B 
f9fe8fb3c2e002e1eec141f487709d592df969ab44d41012ebaa436f17b6ee679e2e763d479106ae722b8b61be03fceb701b314c40c001d5895db99e5fbbe4a6
 SHA512 
86cd66222553f8cd7c1d1fb9e4e55169f9cd6d92e0bde1c56846b5e0fb6ae8494ac15ebb68d9e8761240f46dcc9b480747e48b21b74cff86e52cc45d3d222070

diff --git a/dev-ml/ordering/ordering-3.9.0.ebuild 
b/dev-ml/ordering/ordering-3.9.0.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.9.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-05-23 Thread Alfredo Tupone
commit: 1db2f315cbbf02eae13bc4b2712e85e38e42cecc
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue May 23 19:04:58 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue May 23 19:35:58 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1db2f315

dev-ml/ordering: add 3.8.0

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.8.0.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index ebdf92ae17e8..a510214c06d7 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -4,3 +4,4 @@ DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32
 SHA512 
f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239
 DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b
+DIST dune-3.8.0.tar.gz 2564537 BLAKE2B 
773a2643b187f37dd2e21df41f18818753e249e66c2d98a4cfee3d9997f528827b2cf3c60d2992ffdc51397c393ac1a0fcc5339bdec2d87f82252114394d2355
 SHA512 
bba32fb508265329a2a46c9bd2e8b7e5f3d6d84390e842382ff4790f0d3414c9ff1d005c1af88988daaca29749729f1ced7b388f2d96432f01f2f4ea4714be98

diff --git a/dev-ml/ordering/ordering-3.8.0.ebuild 
b/dev-ml/ordering/ordering-3.8.0.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.8.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-05-20 Thread Alfredo Tupone
commit: c713e375e942bcbeff4a247ffbe2570c6a0f5862
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat May 20 16:40:58 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat May 20 16:46:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c713e375

dev-ml/ordering: stabilize 3.7.1 for amd64

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

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

diff --git a/dev-ml/ordering/ordering-3.7.1.ebuild 
b/dev-ml/ordering/ordering-3.7.1.ebuild
index 3302c44ddac1..669840ebf990 100644
--- a/dev-ml/ordering/ordering-3.7.1.ebuild
+++ b/dev-ml/ordering/ordering-3.7.1.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-04-29 Thread Arthur Zamarin
commit: 6a1b38383214dcace97288e18f9bc235e2255999
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Apr 29 08:52:03 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Apr 29 08:52:03 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a1b3838

dev-ml/ordering: Stabilize 3.6.2 ppc64, #901629

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

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

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
index 060e4928a929..bd18c18b90bb 100644
--- a/dev-ml/ordering/ordering-3.6.2.ebuild
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
+KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-04-29 Thread Arthur Zamarin
commit: 1c9ad06bee051195aa264ba89f963866d5b2ab20
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Apr 29 08:51:43 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Apr 29 08:51:43 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1c9ad06b

dev-ml/ordering: Stabilize 3.6.2 x86, #901629

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

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

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
index b44060ce1441..060e4928a929 100644
--- a/dev-ml/ordering/ordering-3.6.2.ebuild
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-04-29 Thread Arthur Zamarin
commit: 63c12c5c2950102b8de74a8f54ed380ebba6bfdf
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Sat Apr 29 08:36:48 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Sat Apr 29 08:36:48 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=63c12c5c

dev-ml/ordering: Stabilize 3.6.2 arm, #901629

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

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

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
index c3a7edb969a8..b44060ce1441 100644
--- a/dev-ml/ordering/ordering-3.6.2.ebuild
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 arm arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-04-16 Thread Alfredo Tupone
commit: 902f9f9d790ccbe59d5f9a39da399c6426bccd64
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Apr 16 08:09:35 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Apr 16 08:40:27 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=902f9f9d

dev-ml/ordering: add 3.7.1

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.7.1.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 43fa8bd286ba..ebdf92ae17e8 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -3,3 +3,4 @@ DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7
 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
 DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32
 SHA512 
f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239
+DIST dune-3.7.1.tar.gz 2011275 BLAKE2B 
dd0f473a720fc65ac550a2aab64930ff472a9bd306d603f088d813817df56148f676abe2a56ff3458bb1ed887784e565154eee08988bf984585b35bc9333d929
 SHA512 
d741b2a92e970f9747240d4356045f46447238f7c8d8c47ba0b1cad96b8194461a47fa315d86a1eef2033a4d38001c999e6033c31b0c75a311367fb78ea12b6b

diff --git a/dev-ml/ordering/ordering-3.7.1.ebuild 
b/dev-ml/ordering/ordering-3.7.1.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.7.1.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-03-31 Thread Sam James
commit: fffbae653cb094222b6e2162bb08b19ba3661097
Author: Sam James  gentoo  org>
AuthorDate: Sat Apr  1 00:54:54 2023 +
Commit: Sam James  gentoo  org>
CommitDate: Sat Apr  1 00:54:54 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fffbae65

dev-ml/ordering: Stabilize 3.6.2 arm64, #901629

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

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

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
index 669840ebf990..c3a7edb969a8 100644
--- a/dev-ml/ordering/ordering-3.6.2.ebuild
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-03-17 Thread Arthur Zamarin
commit: 875c653a764786ef5119b4b3c7daedf1ddf271b8
Author: Arthur Zamarin  gentoo  org>
AuthorDate: Fri Mar 17 16:00:50 2023 +
Commit: Arthur Zamarin  gentoo  org>
CommitDate: Fri Mar 17 16:00:50 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=875c653a

dev-ml/ordering: Stabilize 3.6.2 amd64, #901629

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

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

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
index 3302c44ddac1..669840ebf990 100644
--- a/dev-ml/ordering/ordering-3.6.2.ebuild
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}"
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+KEYWORDS="amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 



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

2023-03-01 Thread Alfredo Tupone
commit: 7feb3aadfcdf2e9ae7ec4e0bd7836e033e16ed47
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Wed Mar  1 18:20:00 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Wed Mar  1 18:20:00 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7feb3aad

dev-ml/ordering: add 3.7.0

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.7.0.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 505371057bf6..43fa8bd286ba 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -2,3 +2,4 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32
 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
 DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be
+DIST dune-3.7.0.tar.gz 2010139 BLAKE2B 
045fc6ee033325b074aac869c32b55f243bc561b796adfb83011f7ef95352bc0d8161fbb563744286ef145323b59a2854534c4e366532894a1ba5ff78a615f32
 SHA512 
f83d55939513cf292d89cbc38dbe2431cf453c5d5cfdab2239946e2845d10ea57be8643bb8047fe82499bb21561e861dcd8b749c55a1ba18377996c6a0b48239

diff --git a/dev-ml/ordering/ordering-3.7.0.ebuild 
b/dev-ml/ordering/ordering-3.7.0.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.7.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2023-01-30 Thread Alfredo Tupone
commit: fb7b3fabd2c61c237c36cb443be9c9958ba74bac
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Mon Jan 30 20:47:40 2023 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Mon Jan 30 20:47:40 2023 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fb7b3fab

dev-ml/ordering: add 3.6.2

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.6.2.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 914ebeebac7e..505371057bf6 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,3 +1,4 @@
 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
 DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9
+DIST dune-3.6.2.tar.gz 1906058 BLAKE2B 
7bbf1f346805432015a0e2a20bbeb1d94bbdc9f10537d31129c70466f88713d6659fddae18ab48c95d1a97f5e7931d8a5505eb08b89a27b6193b82b059f1c29e
 SHA512 
636f6cbccca588b576f36840b752fc17d4a46b4c0625262a43c10f948bbb9820bdbee752a8d9a5cf7d5b79987bf824bdef9a44ecf49696959c9f597c4950d7be

diff --git a/dev-ml/ordering/ordering-3.6.2.ebuild 
b/dev-ml/ordering/ordering-3.6.2.ebuild
new file mode 100644
index ..3302c44ddac1
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.6.2.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2022-12-16 Thread Alfredo Tupone
commit: a99280effc95318a11c1bc5b515acd6d12331354
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Fri Dec 16 21:44:48 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Fri Dec 16 21:52:08 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a99280ef

dev-ml/ordering: add 3.6.1

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.6.1.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 38b3467e5fb8..914ebeebac7e 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,2 +1,3 @@
 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
 DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
+DIST dune-3.6.1.tar.gz 1843804 BLAKE2B 
1e7bf67b596f60a553f00cfd8287ce36ef4ff5b8d8f16465df3f3b7b6d332ceef5101057df9389aeb9ceb4dc7f23bc69320412aebba7587deeb933a0f8ddca46
 SHA512 
2db83116a3d0995c8d0dfd6a1581d214f657a7d90c30dea04d5370327e13c575fed6ce74106a79c2e2fe0c02aa2912ae7a9f4e49c36985fb613b6a41de0700c9

diff --git a/dev-ml/ordering/ordering-3.6.1.ebuild 
b/dev-ml/ordering/ordering-3.6.1.ebuild
new file mode 100644
index ..0699bae016be
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.6.1.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3.5"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2022-11-22 Thread Alfredo Tupone
commit: 18b63fcb37245099a2aa2538999c0c566de9d735
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Tue Nov 22 19:27:51 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Tue Nov 22 19:27:51 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18b63fcb

dev-ml/ordering: add 3.2.0

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/ordering-3.2.0.ebuild | 30 ++
 2 files changed, 31 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index 773da28d4eed..38b3467e5fb8 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1 +1,2 @@
 DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 
97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40
 SHA512 
a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4

diff --git a/dev-ml/ordering/ordering-3.2.0.ebuild 
b/dev-ml/ordering/ordering-3.2.0.ebuild
new file mode 100644
index ..f0f530285fd0
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.2.0.ebuild
@@ -0,0 +1,30 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz
+   -> dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND=">=dev-ml/dune-3"
+DEPEND=">=dev-lang/ocaml-4.08"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   :
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}



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

2022-11-20 Thread Alfredo Tupone
commit: 9ba60f14675b932e0aef1837264964831e26e707
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sun Nov 20 09:56:49 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sun Nov 20 09:56:49 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ba60f14

dev-ml/ordering: relax deps on dune

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

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

diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild 
b/dev-ml/ordering/ordering-3.0.3.ebuild
index 0c02ad290b06..5b971ed0de41 100644
--- a/dev-ml/ordering/ordering-3.0.3.ebuild
+++ b/dev-ml/ordering/ordering-3.0.3.ebuild
@@ -16,8 +16,8 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
 IUSE="+ocamlopt"
 RESTRICT="test"
 
-BDEPEND="~dev-ml/dune-${PV}"
-DEPEND=""
+BDEPEND=">=dev-ml/dune-3"
+DEPEND=">=dev-lang/ocaml-4.08"
 RDEPEND="${DEPEND}"
 
 src_configure() {



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

2022-11-19 Thread Alfredo Tupone
commit: 15fafbc6130cf242e553a1131c5b3e6fed9f286b
Author: Alfredo Tupone  gentoo  org>
AuthorDate: Sat Nov 19 22:31:12 2022 +
Commit: Alfredo Tupone  gentoo  org>
CommitDate: Sat Nov 19 22:31:12 2022 +
URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15fafbc6

dev-ml/ordering: new package, add 3.0.3

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

 dev-ml/ordering/Manifest  |  1 +
 dev-ml/ordering/metadata.xml  | 11 +++
 dev-ml/ordering/ordering-3.0.3.ebuild | 32 
 3 files changed, 44 insertions(+)

diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
new file mode 100644
index ..773da28d4eed
--- /dev/null
+++ b/dev-ml/ordering/Manifest
@@ -0,0 +1 @@
+DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 
2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce
 SHA512 
839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155

diff --git a/dev-ml/ordering/metadata.xml b/dev-ml/ordering/metadata.xml
new file mode 100644
index ..86dc156e664c
--- /dev/null
+++ b/dev-ml/ordering/metadata.xml
@@ -0,0 +1,11 @@
+
+https://www.gentoo.org/dtd/metadata.dtd;>
+
+   
+   m...@gentoo.org
+   ML
+   
+   
+   ocaml/dune
+   
+

diff --git a/dev-ml/ordering/ordering-3.0.3.ebuild 
b/dev-ml/ordering/ordering-3.0.3.ebuild
new file mode 100644
index ..0c02ad290b06
--- /dev/null
+++ b/dev-ml/ordering/ordering-3.0.3.ebuild
@@ -0,0 +1,32 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Element ordering"
+HOMEPAGE="https://github.com/ocaml/dune;
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> 
dune-${PV}.tar.gz"
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="Apache-2.0"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+BDEPEND="~dev-ml/dune-${PV}"
+DEPEND=""
+RDEPEND="${DEPEND}"
+
+src_configure() {
+   ./configure \
+   --libdir="$(ocamlc -where)" \
+   --mandir="/usr/share/man" \
+   || die
+}
+
+src_compile() {
+   dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || 
die
+}