summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-09-09 12:30:03 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-09-09 12:30:03 +0100
commitd8a7472fc6314625f7d16e0427004eb448412908 (patch)
tree0dba2e223a5a5e200a4b84a4a5e3ff690e5059e7 /dev-ml
parent8e49340ce0aaf205556648d8fa27dd30e8cf4435 (diff)
gentoo auto-resync : 09:09:2024 - 12:30:03
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/Manifest.gzbin40150 -> 40147 bytes
-rw-r--r--dev-ml/dune-private-libs/Manifest4
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild36
-rw-r--r--dev-ml/dune-private-libs/dune-private-libs-3.13.1-r3.ebuild40
4 files changed, 0 insertions, 80 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index 4853dfa155c6..84dfa0b30284 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
Binary files differ
diff --git a/dev-ml/dune-private-libs/Manifest b/dev-ml/dune-private-libs/Manifest
index 7360fdaea3b9..08215ef86eb6 100644
--- a/dev-ml/dune-private-libs/Manifest
+++ b/dev-ml/dune-private-libs/Manifest
@@ -1,12 +1,8 @@
AUX dune-private-libs-2.9.3-test.patch 951 BLAKE2B 92a7e9838cdc0e57219956fe8d9f3fe5c8d617ff2ddccd1b331a6c7823216fb910e30ba5fc9e50790eb437f6fdd6af176dd27ad3743a00fecf0c384c9e0537b6 SHA512 bc2a204345e30bd5a40c4a41bdb40243dc6f30cf172443735115979640d1d68571d232a4fa530e981416f03df6a0abcb600cc6e531a33c4c3892cff731fd85c2
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.10.0.tar.gz 2640800 BLAKE2B 5fc479a91ee6792f07a4fb61af530d55f46dea56b2fd5919975c0bfb231229395e7d0769bdae88419a89d378b8d7e2b229f7410ce7a34414629aa5117e606230 SHA512 2884a4eaaa44164ce911286ca6670b548a4a564e2b5040f05405d1d2729af84083fbfdde7c92db4f6f7a54d15a43fc9dddcec19d8d79d5a66221b2be861473de
-DIST dune-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
DIST dune-3.16.0.tar.gz 2999701 BLAKE2B 5e371fa1003cec31273aeeb1a830036f48d3734588bd7a980b57aaae30d4984a34dec6f9be0ee9985c72dee08c2c6d456a789eab83cfce42c142a3abc6951b2e SHA512 3b1d041907128b6598e0f6150fe300a4a69098822f823ceead63b46e1005a21485738c6fa92641dd940c9f9cde48ae141ea51959a9b250bee3cbeb06ba788e23
EBUILD dune-private-libs-2.9.1.ebuild 4114 BLAKE2B fade94617c408e800bcc4abbf6adf312307d620172a8dfd39215add9b487c559f83829d442d9da4763e6f33e68011518751ff6fa7222b410953e42aa5377d94a SHA512 76da3dd2a3c2d6fb9ca5f3433cf0315c9cd7664f5f0cb57daffaabf87b2f12eca779fa5feddf5483c59aa90b091c3715a1e49e3b61eb1e03297ccec655d0c0ca
EBUILD dune-private-libs-2.9.3.ebuild 4426 BLAKE2B c890e269face1e352e76f48307a3b411b46e67cd2bb81038094d714b01c8e45e4783688fb499ecb2db10039082f69e6389c3be01391de206a486f51d746b1009 SHA512 5c1c99d797c4e48ff059051597ee1912fcc296d5c5934cdf801f976da9d34ccc3023d14c8606be44e554ee44fdd47197384ddff6075ebb05b73c9341f5ae7521
-EBUILD dune-private-libs-3.10.0.ebuild 779 BLAKE2B d669557820340535398468741759b085f3caf4a597aa24f7b85cc0a07e910ec69f8dd7a205a938f45398ac6fc224be08337f1f34d7370ca9f8a817ebff2b22a5 SHA512 33e7a5f45b7e95579883efb5656ccf38b778e13484eb7b0bb2b04a41e8bcc0346eb3b18da1dff4dba7221f38bbe2b6ef5d88261a92a4126a1b1ecff09583a5aa
-EBUILD dune-private-libs-3.13.1-r3.ebuild 718 BLAKE2B cc627fc71ef43bdf60b738e3947b768c50feb661e6e9e4c649816d47d2d08b47d222a72b8bca2c5c176e692dfae1cc8e2af2d980e40f80638819861ed330ea5c SHA512 9201a27cbf4fa3a3e03ac98ac8b7e313be698fc3ba2b944393bd932a12f3e5cf324edb95ce1c097b2796b38fd71dfb024f395334d20f5e1b6caa6ab9de4e0164
EBUILD dune-private-libs-3.16.0-r3.ebuild 714 BLAKE2B 89c6df39062e643f3940efeefc6f687c2127fa4ff647727c83be7ef1dd4476d4758d46661a1fa63319c26bb4df3fee50039242f103784cbbd4cc88bd0d70ecf9 SHA512 d3e28eb9ec176ca2c172d64c7fffd80f6d203d002ee595897b316eab93f829563fab9dff5c3230e71e2a054143c0a86532dd184912e7b88e7a0c8f1b6ad3414c
MISC metadata.xml 308 BLAKE2B 555692890c7fe4dee18d07e140384b70278e2a4a0230916a01ab9e5306776e0ed0d979e9a3487423fa1779a166da3038dca13273811e36593bb2b821b60cdfe0 SHA512 e50e28cb6f41fda295f12af1b94aba12dda8a7091322c0e7093d19ee60615d449bc1806354043e572d70aff1284e16b644b188911adbca60a2a5c8299fcee748
diff --git a/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild
deleted file mode 100644
index b8d5b743c22b..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.10.0.ebuild
+++ /dev/null
@@ -1,36 +0,0 @@
-# Copyright 1999-2024 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.5"
-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-private-libs/dune-private-libs-3.13.1-r3.ebuild b/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r3.ebuild
deleted file mode 100644
index b8de85c41fbe..000000000000
--- a/dev-ml/dune-private-libs/dune-private-libs-3.13.1-r3.ebuild
+++ /dev/null
@@ -1,40 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-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.5"
-DEPEND="
- dev-ml/csexp:=[ocamlopt?]
-"
-RDEPEND="${DEPEND}
- !dev-ml/stdune
- !dev-ml/dyn
- !dev-ml/ordering
-"
-
-src_configure() {
- :
-}
-
-src_compile() {
- dune-compile ordering dyn stdune ${PN}
-}
-
-src_install() {
- dune-install ordering dyn stdune ${PN}
-}