[gentoo-commits] repo/gentoo:master commit in: dev-ml/ordering/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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/
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 +}