summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/Manifest.gzbin35160 -> 35156 bytes
-rw-r--r--dev-ml/base_bigstring/Manifest2
-rw-r--r--dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild1
-rw-r--r--dev-ml/core_kernel/Manifest2
-rw-r--r--dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild8
-rw-r--r--dev-ml/jst-config/Manifest2
-rw-r--r--dev-ml/jst-config/jst-config-0.14.1.ebuild4
-rw-r--r--dev-ml/sexplib/Manifest2
-rw-r--r--dev-ml/sexplib/sexplib-0.14.0.ebuild6
9 files changed, 14 insertions, 13 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index 1cf392446e75..c61fcd27e740 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
Binary files differ
diff --git a/dev-ml/base_bigstring/Manifest b/dev-ml/base_bigstring/Manifest
index 020063858e31..15dfe1f12219 100644
--- a/dev-ml/base_bigstring/Manifest
+++ b/dev-ml/base_bigstring/Manifest
@@ -1,5 +1,5 @@
DIST base_bigstring-0.14.0.tar.gz 16579 BLAKE2B 4708fc425b9a4fb534b10b3536eca11bfd4ed8374319f9be09aa981d1a2a24433a25b62cb3faae459a0a633a2ebe6c15a28c2c15251f2ec9505c35528715de16 SHA512 d60bfd1989a29e4c1359722d4c0e2ec382c6d4f3c763b9b80980f38b51419bdf9d30bd9f8ca9cfbc33064458415e227c9f4077d9746ffc13cb4cd5ec8e221fc4
DIST base_bigstring-0.15.0.tar.gz 17266 BLAKE2B f557fd8d46ad33afb89f50f914c76b287b19c8ee33a620c6a1def5379d59dd7f73b531c4077a3c7ce9e2cefbf6f71c7e49b3dd21213c68507bd19b0c90c44bf5 SHA512 d8311312ea1b3dc3a1a30c87ba4984438ca2c81f8da9cbb7f111dd74fb9b16ad8226166ae2fc2b572a989af15099b07294a667646b0ab22130de4406da53230b
-EBUILD base_bigstring-0.14.0.ebuild 541 BLAKE2B 25cbdd9524af4588b54b8ec77c03a79bbc356caf4008286de7237a7f3320b2c8a5a2fa079ff0d5ecdd09199c867bcdd9b998f429a86bdc234f1756c964f4637c SHA512 5c4433b2494615a987d8d57692bd944029a18055eaceb6be152d2c46f913448e39862c5c387fa27caa32c245e52d1439b4ee1d8a3432808e4805fb273b448b61
+EBUILD base_bigstring-0.14.0.ebuild 570 BLAKE2B 5bf996b482f5a85c15dc979f8508baad3f62dc4221279b14f917c8fc66eaeb23f70eab0759400cb8c4047078d6be4e83496ad280090476e86617335552cb2ed2 SHA512 39db0d55a9ee07a50f01bb482497533926d93d1c1836420cc418bd942f2bd39ab182206859fd0ea2a33f9773cdf3495a3e82eaa584ff2b5eff93c0bbb7c08e88
EBUILD base_bigstring-0.15.0.ebuild 505 BLAKE2B 5145ab4b7aa4be0039f37dbb48438da26c3b7b674292d6d787ed52b13f7a64bee4775ce86f46ad1d9c1f9dfeded44c3ecc8d55acfcdd6d538f001abc52dfcfb8 SHA512 f93c712dc7a991e9952d384e7a9c2eb0c9b6abbf489f3cddd6b5be58f0508e2cdb2805d5a7c8a1f91297c2ab4cd15dec8cff5f4cf02c065d53ba84a9788cc141
MISC metadata.xml 323 BLAKE2B 3729ce1b400ce788ad528fc85ab4c404b3a02a35051f1d73059878ca255fccdbca77cecc62dd1f1172452c4879b5dfa633acc4e5cfdfa3275f7fc4eab80db3e1 SHA512 a1f3fde83f77f720641d14178a1711ce34bae7e4de33a40aa26dd2d56042722019bb5f71011a6a516874013fd7925407fbf2f60ace38b006e00bf45b54c75f13
diff --git a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild
index 6c657056d29f..f6a9882fea4b 100644
--- a/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild
+++ b/dev-ml/base_bigstring/base_bigstring-0.14.0.ebuild
@@ -18,5 +18,6 @@ DEPEND="
>=dev-lang/ocaml-4.08.0:=[ocamlopt=]
dev-ml/base:=
dev-ml/ppx_jane:=
+ =dev-ml/ppx_compare-0.14*:=
"
RDEPEND="${DEPEND}"
diff --git a/dev-ml/core_kernel/Manifest b/dev-ml/core_kernel/Manifest
index e0f3e2804740..50d22c7c51b9 100644
--- a/dev-ml/core_kernel/Manifest
+++ b/dev-ml/core_kernel/Manifest
@@ -2,6 +2,6 @@ DIST core_kernel-0.14.1.tar.gz 701832 BLAKE2B 0463641f8ab663f00dff59e1ac0b9693f1
DIST core_kernel-0.14.2.tar.gz 701911 BLAKE2B e784d6d8f53df03ffb56075a43bdfc82d5099740c4eebdfdebe196cb3c97211b95892af18ab0f69b3143a873962fa74afe09a961ad851fb8eb4f30287e538157 SHA512 d0f719734d920d98c55ac7d1aa8ab5b3de7a3896f6cd8b1ffc5147c689f072361e79045a0b34c1f5359dbf492e612eabd613c4724fe60d45345c2944dcdcf6de
DIST core_kernel-0.15.0.tar.gz 265183 BLAKE2B b1e67e8a84e1abbb23ccfb65c8320e36b3b2f91be3c2aa02e73b53c411e80da65c34b69d538d027417a52fd1dbb1a2217b9020d86ae00237ebaf3e7c06b35e42 SHA512 da28f11374fda2e869b5ef3f7131461c6d896b52413654f2aeb7c74bc77ba4a8e2a25830eb3e3ef393e0bbae903db20f54773b356c53cab75c1bba1b9ce265bc
EBUILD core_kernel-0.14.1-r3.ebuild 998 BLAKE2B cc838516b4f7052e611a331d1edcddc203e3234cfd43bef834a7be23c188b52b1c7ab97d30152fbbbcdae749d1d6ebeb68f5c784f618f3fd51f89320c5beb075 SHA512 1a79e711ac27c6479cec85197ad80a9313b7fb72f8ce1c647e110e62a560978540074abeee6048e766e467a82f54c2bf88e0da5945c60a410a08498ede0f9de7
-EBUILD core_kernel-0.14.2-r1.ebuild 1047 BLAKE2B dc75e7459bbbb8068527f7ad929a58d1184bb9745af9f21d80680c02fddc66bbfac452f7712619c48c879c53322f5e0ce453abe7448ead7a8bf1a023fbc42082 SHA512 8f69c997a06e41569cc391441a2a0d90feabd3e0658d50156481992e425bd8bf621f85fad0c9b74db220e0d1e306f13ac1610898a7a4b1de44639410ffb5eacf
+EBUILD core_kernel-0.14.2-r1.ebuild 1075 BLAKE2B 0a88db73c4a3a93e948d624e235d72ba70fc5e960ae68c3472881a537ff0fa5d0690861824fd7e501e9ac384b9a93b6c3b17c600686221a83d1be73d4b1dd8d9 SHA512 b4d1ddd8a0f1e8762786c6b23fafcb388c20e7fcd842e51a876204993942b90a328f8ef36f7f81a9cf981d64f4a2d5d93f436642fb93be761d103da062737224
EBUILD core_kernel-0.15.0.ebuild 581 BLAKE2B 2333aa98090f65136b984d4887f5e5309f3999cee4cbd221bdeb1d3c5e4ed4cb6b518097cfe0aee758210eb13a35c7d2b24932d8608e3b9e6724a2176cfcda24 SHA512 a22b95ee15cfabdf6abb5e288b0b5be25e463797dd93019a73c27174b37a9307647b4d9aaae893e040ae1bba346d3a1edc4398f90ff313af9d46062f9d7ffb79
MISC metadata.xml 640 BLAKE2B 411246c9f2ad1ba00a0475e8195d3b54a0ffd9b7c6804c10b482540e6c27d683451ed63d65f48e2dcab87a53a69fa6215590c8b2f8bb951266697df6226e44a9 SHA512 7854d4748ccc7833d4a029e8ee0fdef9d91c2552d916d77bfe171590a1de6c9e547675e04c886afe9b5b6de8c34e200f6e52a193213ae00ce70f5823fa363292
diff --git a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
index 07c3dc02331e..d06daee72080 100644
--- a/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
+++ b/dev-ml/core_kernel/core_kernel-0.14.2-r1.ebuild
@@ -22,15 +22,15 @@ RDEPEND="
<dev-ml/jst-config-0.15.0
>=dev-ml/ppx_optcomp-0.14.3:=
dev-ml/base:=
- dev-ml/base_bigstring:=
+ =dev-ml/base_bigstring-0.14*:=
dev-ml/base_quickcheck:=
dev-ml/bin_prot:=
dev-ml/fieldslib:=
dev-ml/jane-street-headers:=
dev-ml/ocaml-migrate-parsetree:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_base:=
- dev-ml/ppx_hash:=
+ =dev-ml/ppx_assert-0.14*:=
+ =dev-ml/ppx_base-0.14*:=
+ =dev-ml/ppx_hash-0.14*:=
dev-ml/ppx_inline_test:=
dev-ml/ppx_jane:=
dev-ml/ppx_sexp_conv:=
diff --git a/dev-ml/jst-config/Manifest b/dev-ml/jst-config/Manifest
index edf7c0981467..d0a0e024503b 100644
--- a/dev-ml/jst-config/Manifest
+++ b/dev-ml/jst-config/Manifest
@@ -2,6 +2,6 @@ DIST jst-config-0.14.0.tar.gz 4916 BLAKE2B e052cf9aad6e7bef737cd39643663b4577cff
DIST jst-config-0.14.1.tar.gz 4931 BLAKE2B b24aefa5f4e0b76c3cfd1ecbb9ae7789891db8ade236f6071b814dc3d4be6d94ad39b2d0808ca81a633f2b7a31db18b530c73a7a0c43c65f4ddc8abe90adddd6 SHA512 0a43ba941c2915afb30b3cdc09c3c83e05d5b1367bf89aaa4b3adb72878c8435e07838bcf345452c25482d7621d2a7277b92328a2a8842ec172d4bf73005d9c2
DIST jst-config-0.15.0.tar.gz 4865 BLAKE2B 165a6aef50f20ed5e71c8211c2ba47dcc03ab7244c692bf3f369b02b8ce0dcfa61bce36d0c93fb5c95fd35883e94621532776c625483e3e692336812eb3183c9 SHA512 59482feb5b02dc09c2cff2154105bc7e162e5788ee357a8663dc8e76eb33ab729e9ba34b2f2a3e49b17fc6e279a6927c2024a32b081b4059b438de81fb1a3790
EBUILD jst-config-0.14.0.ebuild 537 BLAKE2B 3733f37f016cd7755e1324366bf56a6643ee2259372242a16cc368d8aa8428dffa7fa5261c179348db6101fb65c165bdbc25a59e42528fae1de98558c17b767c SHA512 888d8622b260197646dc1d9e87412cccb80de80549c4e04f96a49513924028ea5217455cb647e59bd30d7f826e37b6f3992802cec83350c2b1698cd66ecaf1eb
-EBUILD jst-config-0.14.1.ebuild 535 BLAKE2B ab8249dc0deac947976d356f4d883a56748b591f295f8fe99b0b34bae60dbcb1291ed49ef6255afd1cbfcfacaa242b6687680cd3d99589e008fa330b90a0fa8f SHA512 15c488168e103aff99d8d60fc2a9168d937380d7568a3629f8c7b6fa20438a2424b929aec292e96d425bd218be11a3a1432cfc889aae7239ab41210d7af54257
+EBUILD jst-config-0.14.1.ebuild 542 BLAKE2B b991afdc7d7b013ca176612070909ccc50294eb963bbc0243d2e96d0f0e994090efbabddb9c69473fb825448647b0ccfb2e6e509af597a5c26126181a03cf1fa SHA512 f5640ed8e020e3d0628bdbc35ab131cd95ade5f86c39d273f3a80296e68be31a1554f7caa1a726f4a2a1df7f1b527ecf8087b87154935a7d5ce587483ce635c5
EBUILD jst-config-0.15.0-r1.ebuild 551 BLAKE2B ff7406d512144d3107b7fde4d96e02443e7ddf0ab5cff3623ffb10401eac48cd039d2701559ec90672bde584aeac472d015fcd76fa6a17e2f506a0fc03e6f1f3 SHA512 a573407ccc79d6746f00ccf8a5bf8ff5a8f303d3e3ec499c0d8e319a52676c03045464d2d6991800a938f9f9b51c983a5ac94d32867b5f1e610f92e0e9c4d8e4
MISC metadata.xml 424 BLAKE2B d9fc3127f735edee73ce9922a043dca9bdea8ac03cc61c3a492e3ad5598dffe92d147ea3e817e031c14c34fe69a0b15261ebdc64c5b9a4c9916fbbbbbedd411c SHA512 9f645aefbd7e1d14045c077cf78522e7ddad61c1f35bbf1ea5f31ab19a2973340163ababdfce8c27d79cefe3a866dfb95e7b889a81cbf364380f585f0c25b96f
diff --git a/dev-ml/jst-config/jst-config-0.14.1.ebuild b/dev-ml/jst-config/jst-config-0.14.1.ebuild
index 17ae2234d2b2..060b6d0ab022 100644
--- a/dev-ml/jst-config/jst-config-0.14.1.ebuild
+++ b/dev-ml/jst-config/jst-config-0.14.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
IUSE="+ocamlopt"
DEPEND="
- dev-ml/base:=
+ =dev-ml/base-0.14*:=
dev-ml/ppx_assert:=
dev-ml/stdio:=
dev-ml/dune-configurator:=
diff --git a/dev-ml/sexplib/Manifest b/dev-ml/sexplib/Manifest
index 5e3872a3af65..8a109e43e378 100644
--- a/dev-ml/sexplib/Manifest
+++ b/dev-ml/sexplib/Manifest
@@ -1,5 +1,5 @@
DIST sexplib-0.14.0.tar.gz 54055 BLAKE2B d0ee1470fb9d28eb6d6ed3aaf0f6bd63d7c4860183ac287054f08bc54d57d0c52ebf9fe516aa991d8c66967ecc6ad95b6a6d19eb40a9f610a6f91f832d9d2e20 SHA512 e77a9ae8991e6b73de57ab6b7068d6482471dd34ff0af23b93b5ba57bd69493d15db3279d3b328280f716e531c08c2a6c39bfaa886f1934240dcc13724673684
DIST sexplib-0.15.0.tar.gz 55020 BLAKE2B 250d2d791abab87e18ad363dc2140d436cec90469156c2bd37d3de533dd219891bdc5e518d1a37eb8ee4e34f1ec5e924684f1408487d3080c5cfe4a0f32e2d69 SHA512 c31fed5e5bf48381a9b6a48085e7d8909471e38a8cc7586e3c520fe60c6df7a1eebcca1a0ca93cd4d1cc61c1c3c36211db05572273550f7218eb69dd97d27333
-EBUILD sexplib-0.14.0.ebuild 553 BLAKE2B 25077a84b940047a78f4e68ffa2dda12f5d8f3c65ed61eae5d839ca87df0abcfce113f588ed7b0eb1d4d35811662d63ceb8af7b66bdaafc446db88d0309c11c4 SHA512 59dc6b766e9e6c13a7daa024956cb023c288df82694390380e20ffc08c545c51ff96b8d7c0d03a5ad28a7342e35c729ddca9c5e3b7f6800197954ea7044ec2fd
+EBUILD sexplib-0.14.0.ebuild 566 BLAKE2B 3a525f96c1003b7ce00f0dc9e3cd8b64bdab635f6ef906e36df3d2eaf3e6d3bacd152f5cb626302d4d5daf43dc0870456e0b4044a63410f9a0ae66783bcf32cb SHA512 91bc3f706b183a780d0885f3db9e6eb4119fa3fda7d5347eecd86d428e931f1f74590ef2fd103b3dc90c0f98931e026250cf10f9a75ad306d0a2f238cc55689e
EBUILD sexplib-0.15.0-r2.ebuild 581 BLAKE2B deedbbb3769a8efeec00405da6457e58e2a1460b646e52464cb9edbd835d0d24e463010b5364e83f6ba7df6e568de5785f6cdacad736f3b25aa0f1a179388487 SHA512 68035473a9b50a52c7fb06c4d1826ee653606380e2c6e40a04426854ee87e6d44f3b575c8ec05bf7d3d32047bfaf4d23bc778f66fbef35db122d8c74a2b3bdbf
MISC metadata.xml 482 BLAKE2B cc8a4f1df9d0f76967f46c4e50af6a3355c99ab0138c3e804b60cc97f456e151431f80da3fbc8ee16d832da7fc529b8d06019f1b0613bf4c4ebaef7200f02d35 SHA512 32f96513ff47e289bb41c5864ff462d60f849c79bfbb796ec59ecb2aa4bfb82e14b32bc7caf1c05d333d963f723d99fd324c12aaeaedaf8f552e1800feac7254
diff --git a/dev-ml/sexplib/sexplib-0.14.0.ebuild b/dev-ml/sexplib/sexplib-0.14.0.ebuild
index d1cbba8e921d..97e96b2bc2d8 100644
--- a/dev-ml/sexplib/sexplib-0.14.0.ebuild
+++ b/dev-ml/sexplib/sexplib-0.14.0.ebuild
@@ -15,9 +15,9 @@ KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86"
IUSE="+ocamlopt"
RDEPEND="
- dev-ml/parsexp:=
- dev-ml/base:=
- dev-ml/sexplib0:=
+ =dev-ml/parsexp-0.14*:=
+ dev-ml/base:=
+ dev-ml/sexplib0:0/0.14.0
dev-ml/num:=
"
DEPEND="${RDEPEND}"