summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/Manifest.gzbin36290 -> 36286 bytes
-rw-r--r--dev-ml/dune-build-info/Manifest2
-rw-r--r--dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild28
-rw-r--r--dev-ml/dune-configurator/Manifest2
-rw-r--r--dev-ml/dune-configurator/dune-configurator-3.2.0.ebuild39
-rw-r--r--dev-ml/dune-private-libs/Manifest2
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild36
-rw-r--r--dev-ml/dune-site/Manifest2
-rw-r--r--dev-ml/dune-site/dune-site-3.2.0.ebuild31
-rw-r--r--dev-ml/dyn/Manifest2
-rw-r--r--dev-ml/dyn/dyn-3.2.0.ebuild31
-rw-r--r--dev-ml/ordering/Manifest2
-rw-r--r--dev-ml/ordering/ordering-3.2.0.ebuild30
-rw-r--r--dev-ml/stdune/Manifest2
-rw-r--r--dev-ml/stdune/stdune-3.2.0.ebuild35
15 files changed, 244 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index 9181af39f270..87f08093248e 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
Binary files differ
diff --git a/dev-ml/dune-build-info/Manifest b/dev-ml/dune-build-info/Manifest
index 644f4c07d870..068d6fcbbd55 100644
--- a/dev-ml/dune-build-info/Manifest
+++ b/dev-ml/dune-build-info/Manifest
@@ -1,5 +1,7 @@
DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD dune-build-info-2.9.1.ebuild 517 BLAKE2B a7c02238857706cecab9fe1c0efeedea17ec80c791f0fedc1361be9727ae6a45691b1746098b40e7dd25c7a22c599cfc9304254e4142c9f0f0e952055b06d344 SHA512 1b369cd3d131b4c5c293c157fadf24b600dd3dd9fc78dd120a858b19309eae6fa9ef4c7d4bb8ccbaf4add58a038ccfdd25830f47f877eac59371b2d7c8beaac1
EBUILD dune-build-info-2.9.3.ebuild 569 BLAKE2B 7465f112dd8c72ff1a452cfdb7dae5bc9b44a841bb0fb899fa45bd96c8ed4fef6ddf8ef02f68eed21176d28973cc791c76722ea968bf8100561ded53d63c1db5 SHA512 a1d4a367f6518d6ae0f19ea3271b95b409b07c0e5099d0956afe6aec8e1fde2f6fb1387e83f728f7cda765af5890e688a62291b70159456550764fcfa2ae37f2
+EBUILD dune-build-info-3.2.0.ebuild 618 BLAKE2B d806b89ad2bccdc3bad326829dd4d69ce9567511a42e83e9fe16f63a5c0670f28921f448b46a706e1b1fa1fa4bf0c2d2aa5f9f74a3b985a361a2095ed7d8f916 SHA512 886e272664f535374c0ca833d6994a13147aa5e561f23572bd43fd0c80ca10e9d0acb6ec6f1202ca4ea97a1ca5919b2ab62f2d1e388b4042a635d58df2ce1c8a
MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595
diff --git a/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild b/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild
new file mode 100644
index 000000000000..b7bbc45378bb
--- /dev/null
+++ b/dev-ml/dune-build-info/dune-build-info-3.2.0.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Embed locations informations inside executable and libraries"
+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="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+RDEPEND=">=dev-ml/dune-3.0"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p ${PN} @install --display short -j $(makeopts_jobs) || die
+}
diff --git a/dev-ml/dune-configurator/Manifest b/dev-ml/dune-configurator/Manifest
index 82e90f6b0693..2a9a2e71c2d7 100644
--- a/dev-ml/dune-configurator/Manifest
+++ b/dev-ml/dune-configurator/Manifest
@@ -2,8 +2,10 @@ DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233
DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD dune-configurator-2.8.4.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873
EBUILD dune-configurator-2.9.1.ebuild 4096 BLAKE2B e5a5aa47665e30b13f1a158149f235156ec8e0b0e3172fb4629532f991b9bc86080d1d303f734e0fb215502151911d41fbed9cddd53d86ae13e7e70e11c8d7ab SHA512 bb7f6f2acb81a18fc9e0c3c67819a1724cbc2f643405c447e67d1bc17ea3e3a9e9194cdceeff0cf04dcf38bc154d31650a203beefc87dea9b8fa74e9f5d17873
EBUILD dune-configurator-2.9.3.ebuild 643 BLAKE2B 0e18709fb1ff06bd620b2a0b10e2a7dc5105d81d14972808b6c078c9dfdaadfe9311cb04100a8e6a4c05d7661b1e821fb4ab7af34ef1f354c512a2690dc5ea6d SHA512 1c480745ba59a78a6a7123414b057f0546616b235f5e2db7fed25e65d4c399edc6fb24cbe613a0ee253c0734b9fabd17695ebdbf5e195f53f1da39a51b642654
EBUILD dune-configurator-3.0.3-r1.ebuild 939 BLAKE2B 269e8132c92e240ed5e718c4fc3b8505ab2716abaddc9ab1419ffd349f6aab7a5ede87e2c35da588c161d60b7048aec4e1ede65e936feabbdc7abdd753f349bd SHA512 d3e60cc3481bd91a827c0639fa16310a130f99f5267f28eda775f0b3764b521e545501d9c07f1b6a44a932ef39c16464c574d4335165dda898865e9f39b7d745
+EBUILD dune-configurator-3.2.0.ebuild 870 BLAKE2B 616ad1e13f0a3a3df44331ad016a0643d2248cf1110d669b224b188043b0831b372dea0f8d09e9fe3132d8da01a57bf945d764edfc748f551722fa2efe5e29ee SHA512 a507fe23d38249ac3dcd2a6e686236cb1266efebe73caef18064a3395a2243febc781c82cfd2f5b708cc553d58427a31c94d45db02f40a6d547eeb236f37d3b7
MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9
diff --git a/dev-ml/dune-configurator/dune-configurator-3.2.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.2.0.ebuild
new file mode 100644
index 000000000000..9ec5f02be9fb
--- /dev/null
+++ b/dev-ml/dune-configurator/dune-configurator-3.2.0.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Helper library for gathering system configuration"
+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-ml/csexp-1.5:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+
+src_prepare() {
+ default
+
+ # This enables dune-configurator to use the vendored csexp module
+ sed -i 's/stdune.csexp/dune-configurator.csexp/' \
+ vendor/csexp/src/dune || die
+}
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
+}
diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest
index a12bd79bd1a3..b73f30080597 100644
--- a/dev-ml/dune-private-libs/Manifest
+++ b/dev-ml/dune-private-libs/Manifest
@@ -3,8 +3,10 @@ DIST dune-2.8.4.tar.gz 1372925 BLAKE2B 5b6d6738a0dc701d852e6cc59a1998f64c006d233
DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD dune-private-libs-2.8.4.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.3.ebuild 4430 BLAKE2B a77324e882f89eb08a241ebc17a4de86851851d513a6d210d4cd78ee21519e85316fec5da2c3b67ccf781423da46bbcff6ce0fe58221f1538aa72a14199af40c SHA512 d47796ff2cc00fa9eaa9f58433be4288c6401c0f95a8ebb1ccc3e4514f11c512e26c5e354168312df2b3d6f43cc44e4e23de0006d5d1db09689d04293a873d9d
EBUILD dune-private-libs-3.0.3-r1.ebuild 864 BLAKE2B 501bf0290ce221b69348465d0a65e034ab3266f8e5c24a3e94cc6120ac2f77001bb33d60afae4c879c2029b463ed0a2eb98cfdd1653b8144e507147a7dba2995 SHA512 08157b52992d00ca4cf1b065969ddf7fac6591dd8490aabdeba264e52f7f439a38b4959b55d4bc74545bc073673468e6584f9a3c4d2bf98870ba9eeaee6e97b0
+EBUILD dune-private-libs-3.2.0.ebuild 782 BLAKE2B 2947af0152f8ad349bfaa2873ff912a253bc7ca42208450b64c2362f06d1479e7a89aa0eee8436ee789d3f0404f763ec49c6c4eecc213e26f88b9a617e1d9ebd SHA512 8da351970a0e88bbcc16bd8502b86cd3d47f549882062f73b308ce5e10c42a10710d0aa2a35fabd47cb3c5980d41408a3c4826868e71834316c1dc4e5b2a3466
MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild
new file mode 100644
index 000000000000..40c7495b31a2
--- /dev/null
+++ b/dev-ml/dune-private-libs/dune-private-libs-3.2.0.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Private libraries of Dune"
+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-ml/csexp-1.5:=[ocamlopt?]
+ dev-ml/pp:=[ocamlopt?]
+ ~dev-ml/dyn-${PV}:=[ocamlopt?]
+ ~dev-ml/stdune-${PV}:=[ocamlopt?]
+ >=dev-lang/ocaml-4.08
+"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
+}
diff --git a/dev-ml/dune-site/Manifest b/dev-ml/dune-site/Manifest
index 1f9394496eeb..5800e4d48754 100644
--- a/dev-ml/dune-site/Manifest
+++ b/dev-ml/dune-site/Manifest
@@ -1,7 +1,9 @@
DIST dune-2.9.1.tar.gz 1385381 BLAKE2B 27224f803547d02f7110dcfc486ef41f9a4586f6f862ef7f8bbf05cc1f3f6dc8ea03fca99c01842f4226ea3d08f4127daa0e5811dd46cc00f1b96ad7eaafe43d SHA512 4fcff34de4acc4429dd73864ca90e695d8ba436839fd679608f7db292e44be70c3db455a58f59477f2055f84ce497bfa8e90e485ed9536acad3c1b3be3d4be77
DIST dune-2.9.3.tar.gz 1387667 BLAKE2B 3db54c780b9d13f40c774f53c3fe471dba4a640e7cb5aa5d70ef1dc20a217b95a66149ca5f99f07f3a20450577d622e0cda149f656f06f5a42231b89667c1152 SHA512 df6e06a9beebf41f3ed375384be781b5c87c7949048995cc0bbad13dd65c96bd8b27415cd41e43b1112bd86524a59a7dd418e14b5c72b4f1f8fd4ac5ca2d1494
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD dune-site-2.9.1.ebuild 596 BLAKE2B fa03797d6cb98422acafc3854035967c7f8b58271f7155e4abe02061357165df76223e6eb01f76b67468ce09e1752056a242b247b3432ad086367a12b6bdf662 SHA512 c6d3e08817f15d05b9f07f2cc40b6908deb00e68fd79e5ebac95a86c57b95d2d31071e6dbe9b4d87401a5813e23e7ae1b6077ba22f74a356b93dd5a530a333e6
EBUILD dune-site-2.9.3.ebuild 648 BLAKE2B d5b24d1f27f8cbd5777059a9f185762889311e0ebbe96683a41ba6b39f017c9e858695065e7bd4c8bd486aceaeb92ea62120a6f06786a253d60624a3c4026883 SHA512 1c52a8298ca3533ecae6d12222d535e22f5aa7ffacb59d7e50d7a3a6b8632922c4360ac4af0478148ac5325418fbfa6dcca029c80bb6e7441c1ba9d0afcc3899
EBUILD dune-site-3.0.3.ebuild 648 BLAKE2B d0cb9e9cc9e960c953fae2444f3fc4f313172417a78c45e1ddbdd661eec88b8621ea7bcf28b1f43dfaaee97831f964f31ba17271be4c9a34d4e4e9c0e367c9bc SHA512 99010735c6d813698e73a17d7c3b937b2a8d07295c1fbf071461dea7e2bd4d20e78e78f3e4863da715268fd9a43bf630199bdfd100a6afdf358d387281fde0ae
+EBUILD dune-site-3.2.0.ebuild 649 BLAKE2B f4b64ddb2a62adbfd430f0436972d14a1ada870bc5adc06b9b5aadd22e854a406a47520cc091ad50d98d829063c8c6b81b82c04d30e5bf549bcb02b197d887e6 SHA512 75eb4bae3633b675fd122b39a7c474edb52f973078c83bccae51c2d208fa03417b3e88bc1593e9927e962fe1110e05e844e1edbc892de0f00a572a43cef90dd6
MISC metadata.xml 380 BLAKE2B a55122ee1d38e6491f4f2c955ab0271647054d171979d9b3a964c9d1c7239aeb17c89768008a36bd583b373069f387de809a8a62af68f725568f201f2be8b979 SHA512 9b49e03db4133c31c38c13f2502ebd56833c516d27facf46b9d83eaaf3982c3d5dd4e2dc2a1b5e5cbf8cbc60405f4aa2f0bd7a0886c3ead97598e139cac3d595
diff --git a/dev-ml/dune-site/dune-site-3.2.0.ebuild b/dev-ml/dune-site/dune-site-3.2.0.ebuild
new file mode 100644
index 000000000000..89ead937045c
--- /dev/null
+++ b/dev-ml/dune-site/dune-site-3.2.0.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Embed locations informations inside executable and libraries"
+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="MIT"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+RDEPEND="
+ ~dev-ml/dune-private-libs-${PV}:=[ocamlopt=]
+"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p ${PN} @install -j $(makeopts_jobs) --display short || die
+}
diff --git a/dev-ml/dyn/Manifest b/dev-ml/dyn/Manifest
index 089b6151705a..2b92fc815158 100644
--- a/dev-ml/dyn/Manifest
+++ b/dev-ml/dyn/Manifest
@@ -1,3 +1,5 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD dyn-3.0.3-r1.ebuild 735 BLAKE2B 50178b1198063c8c4948fcdca0e2ee28788f9c028b315cb64f3f8ed94918e00bf7b5ef99cac87608c21394a854eb053f7f7dbe1527833a421bb1d1cb3a7e0db6 SHA512 03840527586ee0c0fce79d25467ac1345b6c526dd743284da848e1a020d663a4496cd098eacd4b5f03811367df8ccc7fabee9a596fb0932beaae1438f73fecf1
+EBUILD dyn-3.2.0.ebuild 653 BLAKE2B bc2933bc852929940726bea62cb14c93f77f2e542c60dfaf4ae14b4a49a51932ba76db8bbe8a4b584e4f82d74c233a85d9d3df86dcc81042f69319b2b2715bc4 SHA512 24b480d8439a6717ef3dd8e38eebc7edb7a4ed493efcfb3d9346697ea7a39213cd5cba0c32318d938856bcaa78a8ea0fcb4379a13c1da33a9bdba35365a4123c
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dyn/dyn-3.2.0.ebuild b/dev-ml/dyn/dyn-3.2.0.ebuild
new file mode 100644
index 000000000000..2aac9b876c8a
--- /dev/null
+++ b/dev-ml/dyn/dyn-3.2.0.ebuild
@@ -0,0 +1,31 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+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"
+DEPEND="~dev-ml/ordering-${PV}:=
+ dev-ml/pp:="
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
+}
diff --git a/dev-ml/ordering/Manifest b/dev-ml/ordering/Manifest
index e91b509b4cc3..3283d4d881cd 100644
--- a/dev-ml/ordering/Manifest
+++ b/dev-ml/ordering/Manifest
@@ -1,3 +1,5 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD ordering-3.0.3.ebuild 723 BLAKE2B ad341964914e19c0d9509ed4990ef2913d9c7338d72897fac8b82d03d0b6169caf15adcb62bed2a9beecfe85e00a8aedae938c7473e7e4f45bf28813eb3ab689 SHA512 5d128cc3d8edb9528e81d02017c07acbcbf8f70141e12875e9ee5a3384b47ee3308ab96959225a7c38ee43d2d07378884ba68eea910f65bec006bb92b3ac8c16
+EBUILD ordering-3.2.0.ebuild 641 BLAKE2B 44fadcc5e9f950bc8f44db92b642138da20c85e9bfd88b809b199e47665ecfe5318f17d91bc8150dfcf62940100973db06b29c0a0519ac0d336df7337d35a06e SHA512 c8deace1291c0ac0075d65c8fdf38f619ce8f1933e83800ad48b60a9ae2076d3633b5b964b3964694d17a4bdd9c7b14fd418c2fe1d7e15282ed83a2d1f0736d4
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
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 000000000000..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
+}
diff --git a/dev-ml/stdune/Manifest b/dev-ml/stdune/Manifest
index 00cf85f55ec9..22a76722b126 100644
--- a/dev-ml/stdune/Manifest
+++ b/dev-ml/stdune/Manifest
@@ -1,3 +1,5 @@
DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32397b3eddab9725deb267b089849b649705e1b72bb1b5b37f7531fd9e0cfb134174f0cb3a8ee2595c7dcf8ce SHA512 839e942bcf8189763d0d9b01614333bb2f036bce68c82959e51d2e9145b57067cb862b66781912391c1a0f531b8dddf2ffeafcee71c626169a437fe40feba155
+DIST dune-3.2.0.tar.gz 1754664 BLAKE2B 97ba420a5bf9dd8e14ba74c0e91b6679924fd9ee7b8d9a9a2d4b282166d9172582a37adf408fd037972dab7525cd240c24729b6692f403c32029b2994044bd40 SHA512 a90ac689d97acab956fd96f16f7c6cfdc95d01785fc14f0d3c8ab39231ff78e8941d2db2fa8cbfaa39bbed8f865e11b628aacae1b22df49512a57d0263c0dca4
EBUILD stdune-3.0.3-r1.ebuild 845 BLAKE2B 4011992b54716bd47eb10da5a4e09bd9da930ea75be0f6b4073b7410c3aebcbd56d542e391337af936cec2b8e240f5f53cc5fbdf693fb072a78d0bec6685696f SHA512 30d5e3cfb21628f9fa2846302e8e69e18f1b0f72af47399fb9e1b16faabac03549f2ee550a052468512550acf59a729aa445a31773def2a2bc465f58735d5290
+EBUILD stdune-3.2.0.ebuild 763 BLAKE2B 4634b9d4888a26a8b29fe94b392151b01b74e4e00dc02c47a8a52326af7f358ec30c459441ad6ae2aff8a0572c8914c51c0726011a5c9ae349e92b1e14adc605 SHA512 6e0ae98827b3144cb6d922ee5aec046b1384fd4c49b5b8ab71a9f58585b1197652648380905a656c33accaceb99bd83b708ab7976996f853ceb1a1b3fcbec2a7
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/stdune/stdune-3.2.0.ebuild b/dev-ml/stdune/stdune-3.2.0.ebuild
new file mode 100644
index 000000000000..42c85b7e9d79
--- /dev/null
+++ b/dev-ml/stdune/stdune-3.2.0.ebuild
@@ -0,0 +1,35 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Dune's unstable standard library"
+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-ml/pp:=[ocamlopt?]
+ ~dev-ml/dyn-${PV}:=[ocamlopt?]
+ ~dev-ml/ordering-${PV}:=[ocamlopt?]
+ >=dev-ml/csexp-1.5:=[ocamlopt?]
+"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune build -p "${PN}" @install -j $(makeopts_jobs) --profile release || die
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-13 09:46:41 +0000