summaryrefslogtreecommitdiff
path: root/dev-ml/dyn
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-09 00:08:14 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-09 00:08:14 +0100
commit4fe228ee9aa3b9b825d54ace549a5517e153e8bd (patch)
tree90a261e3ea59b80722d70d3c42f3e40d16c9f8dd /dev-ml/dyn
parentadc09cc4e6ebf7931735c02c0c272b4b885c2b30 (diff)
gentoo auto-resync : 09:06:2024 - 00:08:13
Diffstat (limited to 'dev-ml/dyn')
-rw-r--r--dev-ml/dyn/Manifest4
-rw-r--r--dev-ml/dyn/dyn-3.10.0.ebuild4
-rw-r--r--dev-ml/dyn/dyn-3.11.1.ebuild31
3 files changed, 36 insertions, 3 deletions
diff --git a/dev-ml/dyn/Manifest b/dev-ml/dyn/Manifest
index 2638240dec91..746501c2e818 100644
--- a/dev-ml/dyn/Manifest
+++ b/dev-ml/dyn/Manifest
@@ -1,7 +1,9 @@
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
-EBUILD dyn-3.10.0.ebuild 660 BLAKE2B c769168187e381237eec8a74c5e78a77eee8cc7be355845a52e9bcda195d18452738eced0610f8b83a0b470075d78075389f726b6fb6c8ae981a00e0ae206fd6 SHA512 d11b82c425d67af751f9fe01d533a7c1b183d84536d90b924f6bc1beb779a607ff87319788aa24f6c0b895a65d6e60c7cf3e76e998ec49f06f0e8b334a3a2c18
+EBUILD dyn-3.10.0.ebuild 655 BLAKE2B e3c6bd4f4a9d8150280fe7c0ff572e296a3486b465a14051a459ebdc4a05be1ffd7afc47bfc896aa91518e381d4f95b7d4cee346854e7455723e54dbb2627485 SHA512 61b675bfa453b8cf1619b0c79727cad69bd3857878b9993e0c70275447e041673165f6339dd52b01c3d0a5d97a53279361deb41a093e5eeff5f54f4837b2e90c
+EBUILD dyn-3.11.1.ebuild 575 BLAKE2B 6882c16da8f357c7dab245ed682dbf5204a2a31ba71a1711dd148b28c03b54daee455f745abad4d26670eeddd29e6cce2cebfa8652b7f5a854e69020312ca46a SHA512 1b3b5f843ec472822984e3956c373e15195ce030f71a84e0c9e67c920cc61cc0b2601d476cc0a9fb274121bb00f6b8ebfed7a0d38579a86a77d58c90a8481507
EBUILD dyn-3.6.2.ebuild 655 BLAKE2B e9bfb469c6fed1ad2d78f9ffd611b9986dd5f3ad49461b85e4092566c06a062b85d852f474c53e97ef5c7e8901e0f60b2087605fa14378ef3c45f05b4456ba44 SHA512 b1dfcf24583fffbe13147d81e4ac250c0faa990a43771da05a0d7f690faa05676a5142a02756cd9180cc348b06beecd368a43ea127271356a283da117e2645ed
EBUILD dyn-3.7.1.ebuild 659 BLAKE2B c2c2ef854e283c81600f409fce6e745443d3ac4a81ef099d4ccb9089317482cefdaf65755042503fe1579863e0071057fa73e9da910bff8c9e1fb1c2f3a684f7 SHA512 91226e8f4ea177a86d1e666696ac3795e3ce69cf64e953c37227b5d75aa5afd902df5da295658c2735c6a1140bba835b1cdffb3f5944784684db0e0e98ff7765
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dyn/dyn-3.10.0.ebuild b/dev-ml/dyn/dyn-3.10.0.ebuild
index a3d55d2d7132..231a7e7d7c30 100644
--- a/dev-ml/dyn/dyn-3.10.0.ebuild
+++ b/dev-ml/dyn/dyn-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"
diff --git a/dev-ml/dyn/dyn-3.11.1.ebuild b/dev-ml/dyn/dyn-3.11.1.ebuild
new file mode 100644
index 000000000000..0d360e888937
--- /dev/null
+++ b/dev-ml/dyn/dyn-3.11.1.ebuild
@@ -0,0 +1,31 @@
+# Copyright 2022-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Dynamic type"
+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-ml/ordering-${PV}:="
+
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune-compile ${PN}
+}