gentoo auto-resync : 22:09:2023 - 17:17:39

13 files changed, 118 insertions, 122 deletions

diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz
index e0e112f4b197..90c4db07ba24 100644
--- a/dev-ml/Manifest.gz
+++ b/dev-ml/Manifest.gz
diff --git a/dev-ml/batteries/Manifest b/dev-ml/batteries/Manifest
index e5f7c7f7d2b5..6045a00a602c 100644
--- a/dev-ml/batteries/Manifest
+++ b/dev-ml/batteries/Manifest
@@ -1,8 +1,6 @@
-DIST batteries-3.4.0.tar.gz 827778 BLAKE2B 569ce623ceb4272de784400540969a08d569a9b42e281f8001f046733a0fab6f50f4c195b8a8eec7f2e63209a1b882d6703843f76ec9adbfeb42d11e09b31f81 SHA512 e7a6e258430ec5bb97a1e83c7eb666c970db8bce82de4bf809797cf5e330ea987fe685008c4adb0ac4787c4cc6a1be06f6eae5a7ca856a1a0f83aa35716c23bd
 DIST batteries-3.5.1.tar.gz 835112 BLAKE2B 29602093e5d3789a2b80e1c36e2d5b29d9c286c1bcd272f84d71660eb2014b7dea82c25543c17656987f5d0870628a4af83eaace30f7edef960f8956b26eeb91 SHA512 36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870
 DIST batteries-3.6.0.tar.gz 796298 BLAKE2B a8d9b6f57019ff80367047393fb53014bd32bdcc87d93650eae2939210d90fe4a7977b3502d0ffed25e0e0cb4aa072b8174f01f08c6728d0536589b9abff0f35 SHA512 2a56611b09a5f1cba6457539f8b6bc87a5f2a5454b36cdb39f6e0d6a5dac6db179aab1ba87c74dd49cc41df31a9a96feb349028ea41df7371ecb47f4d9dfafc4
 DIST batteries-3.6.1.tar.gz 797562 BLAKE2B e50ffa073ee4bf0028f4fbe4eac1bfcc0bbbc43fbe17d711350c7ae403a3943a3a8a79356323eb0f3bb0e0b4d2b589dcd33ecb8ba0768f0ac9895d425caa95b1 SHA512 16fd3b541f2b9504d26e1387b1d8b7279746221136391857c90193d3cc5b2814535d87ce54abfa2f50856a26f69e1a7a67f9574d208ba2f8a39630de59bf3a64
-EBUILD batteries-3.4.0.ebuild 724 BLAKE2B 856da73dfd657f2f503d5990fd3156bfd5d558a415c6091d90f257142a5a7f04133abad6fd182850f8d2e40a9f7ce312df4cf8cce4ff4cdfbe21590fd830fd06 SHA512 d83edbdded185b2e8e7ffbfa2676fe0731496a794f8f14a6e13b8298cab62ca15b3d4a0b0e312d874b6cfe28e2e0ab658cb25c91af05daf690cb78f45134c874
 EBUILD batteries-3.5.1.ebuild 723 BLAKE2B bb0409c946dcd301ea50c9156138854eb4201db961bb67a6582289c7b47e4428ff00903440f6892c1ff49ed8ca0c7f4ff6a8e8d1392ab76b13d74d86bf605c41 SHA512 f2b163efe285ecd2b90a055619b29b38c966ca29ebe1acf12f982740695a37b0fbfa3fec18f9fda5af84cb5b4379c1814c847816153f6bf6609c3eb5cb3c1354
 EBUILD batteries-3.6.0-r1.ebuild 756 BLAKE2B b76f52cc93bfa681e836f7ccc817fb817772867a5d331d6fbb9b1846c98c9b53e2352e10038bcafb665c6844d2af298613a240878c2a3d012a1a450ca0ea8bdd SHA512 7f5b892429d42b25d6645b1bdd806b7a732a87dfcfea4d9b19351e066d906737470560412ab2de48ca901381ad365a263ebd41c9dd9422789cd8eee14c8eef14
 EBUILD batteries-3.6.1.ebuild 756 BLAKE2B 4b94bb6a91ddcb50045160ea98bea329ede49877b703f36a70ea2599bf77de881cee6f9ae42d75c994e66edf16b45e74d3788e13b11a8887813e7ad3bfba692e SHA512 ae9044db7d96cddf08c6932e70925d7897389bb398aeedbb5735901a1cfcfc2f3e53ffcd91fbd05e941116e999259c39a61edeb8c81272f674770ac71697986c
diff --git a/dev-ml/batteries/batteries-3.4.0.ebuild b/dev-ml/batteries/batteries-3.4.0.ebuild
deleted file mode 100644
index 172fd00ac6ab..000000000000
--- a/dev-ml/batteries/batteries-3.4.0.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 2021-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit findlib
-
-DESCRIPTION="A community-maintained standard library extension"
-HOMEPAGE="https://github.com/ocaml-batteries-team/batteries-included"
-SRC_URI="https://github.com/ocaml-batteries-team/batteries-included/archive/v${PV}.tar.gz
-	-> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-RESTRICT="test"
-
-DEPEND=""
-RDEPEND="${DEPEND}
-	dev-ml/num:="
-BDEPEND="dev-ml/ocamlbuild"
-
-S="${WORKDIR}"/batteries-included-${PV}
-
-src_compile() {
-	emake BATTERIES_NATIVE=$(usex ocamlopt yes no)
-}
-
-src_install() {
-	findlib_src_install BATTERIES_NATIVE=$(usex ocamlopt yes no)
-}
diff --git a/dev-ml/pprint/Manifest b/dev-ml/pprint/Manifest
index 8cd9bc0ee8a4..d918a81e31f4 100644
--- a/dev-ml/pprint/Manifest
+++ b/dev-ml/pprint/Manifest
@@ -1,5 +1,7 @@
 DIST pprint-20211129.tar.gz 42778 BLAKE2B b5becf959d750e07ecf12c58cf6f41ff10f841d8034e9f89544b28e81eefdf564e2144a102fa918256736bb092de454eba13dfa38363e1ed230742eb95817e9d SHA512 12133735f558075f1ecdcec16cc11f7237dd82883c542645c479f534acd8ed6935f05a3f9aad8e330c329520852bdff6d420d632636bd9004a4d0aade762cae6
 DIST pprint-20220103.tar.gz 47809 BLAKE2B c581370be13f45d2d97a9fe7a6f7e81fc033a33a2f1740dcc808ce388356554506c00393efb05937b5833ae19fbf01c1fc9d013024d11724ef323110925bce88 SHA512 1c4d85e529414dc2d52602fae7e44ca036d2d35e9ce1906fd88b0f8a8d0ba1527042b0e5117fdeb51237b2311020a711065a917cc158b63e2ac932c97fa28406
+DIST pprint-20230830.tar.gz 52012 BLAKE2B c5ece9c608c04c3556fa2b6c98392d086de0e94395d1791184858c723634df1a15983f03eced0789386e56b5ef4e9a8f790396a577397a9ceeff8f76a2657c44 SHA512 7c58275cf9951283cf5051c2cf4c98084e8d562a8172a6379d9831a8fc95c9a19fc06710350217da2ea90fd2b17994142b10d1a9f8dab17b2bbf3e47e76c9f5f
 EBUILD pprint-20211129.ebuild 429 BLAKE2B 24884f38b0a2953a4699a7950098a5145fecf7e6a50e93dbe5465022987dd6c6fabbe1e210031c2555f0f30bea5ba3f5b8a163ee4845bf0a7e6deca8a224e6f8 SHA512 26f7171e5a91d2e08b096c9e21071e3d0872ff9c6d72079f66050ba324ff8f409874c3c423e1aab37265efa6e068866a17cba07c493e0f3620168adb09ec0298
 EBUILD pprint-20220103.ebuild 429 BLAKE2B 530aaf35b85a6953211bdb4511df519b5a106222c964b665a01d8eefffabe7ecaaa1513bf84f898e42d5b9e5a4868390911792b376670a8af16963a0ef00d9ff SHA512 c6b863e7b8d85fe4affb62695c3ecc5c557ca9720f5d465a975b1da109162c5aab5a4ed20c781880e3d119f3b23ff6c8ac35cc8ecb4dcfb12e388081ed8a5aec
+EBUILD pprint-20230830.ebuild 429 BLAKE2B 4b170c8174923988b24e1102fa4feed6a15f2a889bef166402f5de6dbea0f01bb196a0b72614b0d1e8cba7842d11b4498454f9345adbe99ddee73dddbdf211dc SHA512 f4427edee445d3279dcb746de494159533c4c2b80e4ed817c6a28320514c383c4947c2469ea6b323b24ea14db5eeb7b9fbc35659a951f81d01095e99a183ea53
 MISC metadata.xml 700 BLAKE2B b51bbe13e598ffe6897bafbb4af044dfd652bc51bf2854162e19317607250a26af7ed5054b68db508fdc5da1f1e48eb6dd782c1dc46a9a5bf43e526c59c32907 SHA512 9675fafd3ac0ab818947b9e37fcb18765f14c49f3be7b0d94cfaaf2f7b0702dcd3d326b4d93e3d8e0555447f0c7542b80e87f71e6bf4aab9f063b165d5077097
diff --git a/dev-ml/pprint/pprint-20230830.ebuild b/dev-ml/pprint/pprint-20230830.ebuild
new file mode 100644
index 000000000000..cf47b0f5dfd8
--- /dev/null
+++ b/dev-ml/pprint/pprint-20230830.ebuild
@@ -0,0 +1,15 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="A pretty-printing combinator library and rendering engine"
+HOMEPAGE="https://github.com/fpottier/pprint/"
+SRC_URI="https://github.com/fpottier/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
diff --git a/dev-ml/uucp/Manifest b/dev-ml/uucp/Manifest
index 0a6975119ad0..b812268a21bb 100644
--- a/dev-ml/uucp/Manifest
+++ b/dev-ml/uucp/Manifest
@@ -1,7 +1,5 @@
-DIST uucp-13.0.0.tbz 466488 BLAKE2B 90b62446ed069f95b0ca8bbad8273b215f0a66f6a3d19639d60a73f440268e9274d4e98e7ac8a534bbb6a34ab485e989432894f22f2f5c1303ca49f828efe859 SHA512 24d0fc75ba337115fd6445d3c3dfa60fe5f6920b227cd8360cd60ad51b652ccc2129a47f195f7559d99635367e64855343dc03de1109987f296a280e0fefff4d
-DIST uucp-14.0.0.tbz 476162 BLAKE2B 1c75b7bf98858bc60dee12bebfa99556afd6b344b65b12a4eafcbd39c57e2359f1a47aa0f28c5450f078db95d78ab545eecf84d0d5dbadb2bf1705c17e7179a4 SHA512 2d0224aed5d5accbb121624898f08598e8c74a2415942f159a54221c0cdac62ed64fc70a039c833e50110cefce77754ada9ac2d58f79a6fc9331135326fe6899
 DIST uucp-15.0.0.tbz 481932 BLAKE2B f8f23b8233e65b77dbea5defb968d253a022556b11f0276094fcdebe010fe5de99c36f581fee6aa3e54afadff62345fa5a3d6951ba0baba394f4ddae4175ba1c SHA512 ee4acff5666961766321e85e287fb9d5b8d50533319f22bf6f4eceb943242df2d0e0f4e775c4a140f68ca142837938eaa5926e22362215a3365ffe7f8768923b
-EBUILD uucp-13.0.0-r2.ebuild 605 BLAKE2B 1474526e0e1a8d6a1229525c04328cd10a9712a36b74a7a1d9979218368e775fbb2581c965e78999a567e77feac2c144fb17422a651d36efd19e9aaba95c2105 SHA512 58cd2ea713961be9ee31e7e1d768997d3fb7386b46c8fba99b4b46acd45a2439c58d388f0982d414e5acb33a4465c808754deed68045e42842bb53198de63f1b
-EBUILD uucp-14.0.0.ebuild 597 BLAKE2B 8807cbebd1668c2f089443840be042ee0bb7ef94f67e64951a71dde769a03ed767879fe9a9342e1847f2d81b604614870018d610f61558da1f03f8ac37c6475e SHA512 7ed492b4ace7e2a9b1b4312221b345a44bc8236fdb7c5db71e9d86a9c947273cf15dcd90af3365543bce02da9fa34e1c77a12fcdddc480e7b67ac842ad73d47e
+DIST uucp-15.1.0.tbz 499248 BLAKE2B 33dc1de451565b216445ead78c66c60e93a8853f27b3ab26a9fe9a71ee0b0f2b12c0ef964e0386eef1a2fb61ee6c03ce90feb970373990bc58ec1a111a734cd1 SHA512 998f94fadb72357b15a3042a3d11c31b3e16f281822673f2defdd515cd1394d55de1817628be8bd5c030175f9e62c53630d4139a1c0253800f9fb898b0f11364
 EBUILD uucp-15.0.0.ebuild 597 BLAKE2B f65e0738d6e51e58635383f303dc7df1cf742500fe9c5e0a6c9195f6047e7356d7a9f78ce609b43329f887aeefe018d4ef83277d5d37e95e07bc2585d95c8eca SHA512 f33774c9c74a6f8d31ebeef9164e35b526c303633581a0d5fe08959cb0ee0df9c002206175e55608754c95002e52e2f86c94daff2253ae02b0476c195b0374d4
+EBUILD uucp-15.1.0.ebuild 648 BLAKE2B cd5f17e3cc1118a27ce0a0b7d876fe2ffb47951ccf4a2bd58d2444f1a5b61bd31b0247477f18f118c0487ada28c92de445d4c2789002bbfb8a3119636e9b578c SHA512 b4b0698d56b33444f24a72d4088d6c0514162fcb6f63b6ece0384abe3c787295a524b602c001a4796fe3f3515ca30546b3d0652165924764e3f4ab22f2d9688c
 MISC metadata.xml 311 BLAKE2B a76d9caedb7c1705259a0b1e462b017a72d6704d937134f3b412dfbab5edad0dd301c0099286616863e8c2ebfea4152702e708c6ce60b15dca195ddb4e1888bc SHA512 fbb904d6b4a2fe7e080c66b76934ca3ef6c1ef0da78fb198d54700e03c4cc1a47a2978d79210dd153b630666c154511742d580fe3e5b1d840b7ee0b24cf215d8
diff --git a/dev-ml/uucp/uucp-14.0.0.ebuild b/dev-ml/uucp/uucp-14.0.0.ebuild
deleted file mode 100644
index c66d847e4131..000000000000
--- a/dev-ml/uucp/uucp-14.0.0.ebuild
+++ /dev/null
@@ -1,28 +0,0 @@
-# Copyright 2019-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit opam
-
-DESCRIPTION="Unicode character properties for OCaml"
-HOMEPAGE="https://erratique.ch/software/uucp https://github.com/dbuenzli/uucp"
-SRC_URI="https://erratique.ch/software/uucp/releases/${P}.tbz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="amd64 x86"
-
-DEPEND="dev-ml/topkg
-	dev-ml/findlib"
-RDEPEND="${DEPEND}"
-BDEPEND="dev-ml/ocamlbuild"
-OPAM_FILE=opam
-
-src_compile() {
-	ocaml pkg/pkg.ml build \
-		--with-uutf true \
-		--with-uunf false \
-		--with-cmdliner true \
-		|| die
-}
diff --git a/dev-ml/uucp/uucp-13.0.0-r2.ebuild b/dev-ml/uucp/uucp-15.1.0.ebuild
index c962b6b160fe..598da94d237f 100644
--- a/dev-ml/uucp/uucp-13.0.0-r2.ebuild
+++ b/dev-ml/uucp/uucp-15.1.0.ebuild
@@ -1,7 +1,7 @@
-# Copyright 2019-2021 Gentoo Authors
+# Copyright 2019-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=7
+EAPI=8
 
 inherit opam
 
@@ -11,19 +11,24 @@ SRC_URI="https://erratique.ch/software/uucp/releases/${P}.tbz"
 
 LICENSE="ISC"
 SLOT="0/${PV}"
-KEYWORDS="amd64 x86"
-IUSE=""
+KEYWORDS="~amd64 ~x86"
 
-DEPEND="dev-ml/topkg
-	dev-ml/findlib"
-RDEPEND="${DEPEND}"
-BDEPEND="dev-ml/ocamlbuild"
-OPAM_FILE=opam
+DEPEND="
+	dev-ml/topkg
+	dev-ml/findlib
+"
+RDEPEND="
+	${DEPEND}
+"
+BDEPEND="
+	dev-ml/ocamlbuild
+"
+
+OPAM_FILE="opam"
 
 src_compile() {
-	ocaml pkg/pkg.ml build \
-		--with-uutf true \
-		--with-uunf false \
-		--with-cmdliner true \
-		|| die
+	ocaml pkg/pkg.ml build		\
+		--with-uunf false		\
+		--with-cmdliner true	\
+		|| die "failed to run the pkg/pkg.ml ocaml compilation script"
 }
diff --git a/dev-ml/uunf/Manifest b/dev-ml/uunf/Manifest
index 77f4cc88fd0e..b5a8fdeb5014 100644
--- a/dev-ml/uunf/Manifest
+++ b/dev-ml/uunf/Manifest
@@ -1,7 +1,5 @@
-DIST uunf-13.0.0.tbz 39387 BLAKE2B fa8c46f63e2f8cf44cffe0db8c0aea73a0ffb6449f4a3c7c59baf4750db8e2364686276e6e5f284b2a528a45f02400274669c4e081533fbb25cdd36c6eb8fcb0 SHA512 ade9815b1d620a055a63dd0f8c5d5c54544eacfdcf0c6059cd20f1004a1319287f71021018fbc7e652bde738a97fae7e9d0963d5b192a4b0bb6e5b95456012a8
-DIST uunf-14.0.0.tbz 41632 BLAKE2B f2c6523f773b77905092f14934ff40a1deaf76c3f769df6d00f5c743ac9d240a78838142016b7b0eb9d2c9a132c3c2df67e31bf433ec9888e9cc2b831cf45d67 SHA512 9aac01483abb8a8a5d68832d7f7692909d61559f2c9b0284c1da293f8115d1100df26e9e4cf7280bda6499ba866f5da2c72c4c21ca99a1d594b29d000e9bb051
 DIST uunf-15.0.0.tbz 42418 BLAKE2B add1dda2f6af07ccaec26d9715eddf31dc398f0cdae85eec0297bcbcd9f5e23f59846813d96e554d88b18096c9419490265c061bf5835a4b67daacf3938c2876 SHA512 204d923d4e8d910318180c15087fe53d98d8ec0a8d3c3f6c54219e5e09ee5c5bdf57585e5570d895f8d90647c4eeaa45d9e6e75d58edeb9febee053e0dd47fbc
-EBUILD uunf-13.0.0-r1.ebuild 642 BLAKE2B 08da265b6544b5104422cd7c8be75764813e7ff25c25b58b5f44b48982616b54a48ca836b83fec5975ca811269f91a69ef1353afebbcac692985d451551dfcd3 SHA512 d2e6b64510dbb875c2ab7cfa873552e72bdeef7eda5a666a1642e9ab967ae2f0e14730046d46ef4eecb6bc9cca3564592312534ae2152f2561b0a275e2185284
-EBUILD uunf-14.0.0.ebuild 644 BLAKE2B 39746acd274f8f941a54cd1a327ec8ad25ce9705d32e1f50c5f5a118f048eb79abbdbc3c164353b8ff257e0bb4f246cd2ffa5e8d90a1cff908894b550217adf1 SHA512 ba2b4fc7786963e128e8b2985df15f9f326bea1e16af739429718826cf012566e27d6ee967713d2c9b10c8ad7afd767972e5413b1681c0c61c2e60c66dd8d503
+DIST uunf-15.1.0.tbz 43837 BLAKE2B 1af584fd25f1a1c0f15ba999ab11f155c607fdb54b208094d5586a274b54a823dab94a655ae0d80f6f75b90e1ef42d36295dc03dfb82d4c91fd9b6230689cb11 SHA512 1df1edbcb37da80e6d96eedd5e01c43c81275eca727a53d91a777d01f30cf0b964968c7be1d943e574e40ad4acb75c86e42976b3048dacb2c798b38475d0a6d0
 EBUILD uunf-15.0.0.ebuild 642 BLAKE2B 9c470eafceb3673aa6c48ffc8fd525b35d1938b18e00d18c30f495c1dfc8a3f8a675b85263e2caa88bedc83efe09e9db2f70929c06ea37d756cae284f7b8a764 SHA512 7ebf6145adc0c15a60ed5d23af57be16e61567e35de5f1b07e46125dd87a6848357279c0b203b8ab6eb5aab79271d63618b579f3e411377568e5af50911ac72f
+EBUILD uunf-15.1.0.ebuild 712 BLAKE2B 156ed408de91c4f43cad25579d26fd7346e5d69688fefa58a090a88b6078eec34f6baae77dc8dee734ce061d067412fb94f0d33b5910047f46813da157805f74 SHA512 549da0c2a9e48d1d8db3a2b857e8ce6cef9454f23bd974c95f3a9d27822813b14b0c67a7155cf6c72f4b003cdb819153bc9f957dc2f38489b0cb3249c80a2a97
 MISC metadata.xml 311 BLAKE2B aac48b9d1bd548674249d1bf7e6bffde917939ee8a30a9975871db0ae1ac6b3649286ac2ac5f63f767d489b41894a4e02155ce77a890a06e4ad9b981edeb7af2 SHA512 acbee992f129174ff16ec565e878627096346afc0b99c4b2a2f56efb7932b069e8bbc7d8918c180ebe4753593848deb5f956a2cacdf54445529b6b68f7d238f1
diff --git a/dev-ml/uunf/uunf-13.0.0-r1.ebuild b/dev-ml/uunf/uunf-13.0.0-r1.ebuild
deleted file mode 100644
index bc1af4246d94..000000000000
--- a/dev-ml/uunf/uunf-13.0.0-r1.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 2019-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit opam
-
-DESCRIPTION="Unicode text normalization"
-HOMEPAGE="https://erratique.ch/software/uunf https://github.com/dbuenzli/uunf"
-SRC_URI="https://erratique.ch/software/uunf/releases/${P}.tbz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="amd64 x86"
-IUSE=""
-
-DEPEND="dev-ml/topkg:=
-	dev-ml/uutf:=
-	dev-ml/cmdliner:="
-RDEPEND="${DEPEND}"
-BDEPEND="dev-ml/findlib"
-OPAM_FILE=opam
-
-src_compile() {
-	# Increase stack limit to 11GiB to avoid stack overflow error.
-	# bug #798270
-	ulimit -s 11530000
-
-	ocaml pkg/pkg.ml build \
-		|| die
-}
diff --git a/dev-ml/uunf/uunf-14.0.0.ebuild b/dev-ml/uunf/uunf-15.1.0.ebuild
index 8d806d41586d..eb1030f21bad 100644
--- a/dev-ml/uunf/uunf-14.0.0.ebuild
+++ b/dev-ml/uunf/uunf-15.1.0.ebuild
@@ -1,7 +1,7 @@
-# Copyright 2019-2021 Gentoo Authors
+# Copyright 2019-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
-EAPI=7
+EAPI=8
 
 inherit opam
 
@@ -14,12 +14,19 @@ SLOT="0/${PV}"
 KEYWORDS="~amd64 ~x86"
 IUSE=""
 
-DEPEND="dev-ml/topkg:=
+DEPEND="
+	dev-ml/topkg:=
 	dev-ml/uutf:=
-	dev-ml/cmdliner:="
-RDEPEND="${DEPEND}"
-BDEPEND="dev-ml/findlib"
-OPAM_FILE=opam
+	dev-ml/cmdliner:=
+"
+RDEPEND="
+	${DEPEND}
+"
+BDEPEND="
+	dev-ml/findlib
+"
+
+OPAM_FILE="opam"
 
 src_compile() {
 	# Increase stack limit to 11GiB to avoid stack overflow error.
@@ -27,5 +34,5 @@ src_compile() {
 	ulimit -s 11530000
 
 	ocaml pkg/pkg.ml build \
-		|| die
+		|| die "failed to run the pkg/pkg.ml ocaml compilation script"
 }
diff --git a/dev-ml/zarith/Manifest b/dev-ml/zarith/Manifest
index 12d972459321..9db5d7585ea7 100644
--- a/dev-ml/zarith/Manifest
+++ b/dev-ml/zarith/Manifest
@@ -1,4 +1,6 @@
 AUX zarith-1.12-shuffle.patch 308 BLAKE2B 7c725c7ef19483a153f7404c3c91f268faf24b949042f05a7f79640d4fabd7d47722df3453b4bf705e3c1fea08784bd13b082cdea69d4932283b302dbf49db85 SHA512 851dac84670cdf2f58f59b9decf28f0a40368098422c3f90da04580f4a64e2c3527beb318ff68bcfa94a60ac99a26c2b54f3e33b4bd82c7d3cb9f23072b32614
 DIST zarith-1.12.tar.gz 93695 BLAKE2B b9622e2f397887d08fb8a8520419cf459e99906c05a897af91258b17d92d3fbbd2314a0a4be8a56a07074dcb0a0d04c896b3b5e69526a6c81a8a07b657d1bfec SHA512 8075573ae65579a2606b37dd1b213032a07d220d28c733f9288ae80d36f8a2cc4d91632806df2503c130ea9658dc207ee3a64347c21aa53969050a208f5b2bb4
+DIST zarith-1.13.tar.gz 85994 BLAKE2B a5860319e17f4e660f248f3e724076b578d27dc3a06e8b54d68bcd6ed021a0354ad714dfcb06329bb9c4a3eadc3d08fd84fd76ef5d1a8902a06a7506d77addde SHA512 a562fa8bf4f5ef44f2af6b9a8f028182fd184c89f8c41455acdc02851cc0fc3124d3776c0de930e8d09cd5d6d88cc689f80f4b597068a0611131f45d057b101f
 EBUILD zarith-1.12.ebuild 1429 BLAKE2B 015c4587939d5d7511d1b3e0437377b712da40c677db7069fde9f9f563475f3fc0deb16b1e3e4c4fbe74c97c1e9dc21b21de58a190be03c851d3cb55db97b43a SHA512 b3f000982657bab9e22e86b922e1ac2ac63281efa01f94ad46fdb6d68cede9c6d6ee7c51e0f2d09ddee834c776f5a01ba6a15a80ba3c97b53a0fc7b3fe179e4a
+EBUILD zarith-1.13.ebuild 1386 BLAKE2B fc4c34b5412bfa0e2d159408e662b92794474608bf3d136752ceeabaabe18ecb002f7e8f26d4deecfa2f4aea5d257cbaebe8a2d564657aef96458a61fb918267 SHA512 2c7d5a08fa4ecd84e337983bd616b817076cdd97b2319c7db50ccdf9b04bd564b4fef6fa52441ef8882541a7ca29dde6deaa96f332745f2fdd065a050284dafe
 MISC metadata.xml 385 BLAKE2B b88400ffa45f84bd5bcfab6a7299ae7f961453f12a55f14dd329831a2273ded4ef2b21dcb25b2611d8590dac2850f84a0221a561d40fa65ce9d62a6ef9a75e57 SHA512 cab52bdbd8b49498a14001cef333073aab9e9496c4caef217cc37738e607a35b23d8e25c41394e976be98f822aca806a8da30773f142a70c69d2de7c8d87531c
diff --git a/dev-ml/zarith/zarith-1.13.ebuild b/dev-ml/zarith/zarith-1.13.ebuild
new file mode 100644
index 000000000000..0ecf19d7d607
--- /dev/null
+++ b/dev-ml/zarith/zarith-1.13.ebuild
@@ -0,0 +1,61 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit findlib toolchain-funcs
+
+DESCRIPTION="Arithmetic and logic operations over arbitrary-precision integers"
+HOMEPAGE="https://github.com/ocaml/Zarith"
+SRC_URI="https://github.com/ocaml/Zarith/archive/release-${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
+IUSE="doc mpir +ocamlopt"
+RESTRICT="!ocamlopt? ( test )"
+
+RDEPEND="
+	>=dev-lang/ocaml-4.05:=[ocamlopt=]
+	!mpir? ( dev-libs/gmp:0= )
+	mpir? ( sci-libs/mpir:= )
+"
+DEPEND="${RDEPEND} dev-lang/perl"
+
+DOCS=( README.md Changes )
+
+S="${WORKDIR}/Zarith-release-${PV}"
+
+src_configure() {
+	tc-export CC AR
+	./configure \
+		-ocamllibdir /usr/$(get_libdir)/ocaml \
+		$(usex mpir "-mpir" "-gmp") || die
+	sed -i \
+		-e 's|$(INSTALLDIR)|$(DESTDIR)$(INSTALLDIR)|g' \
+		project.mak || die
+}
+
+src_compile() {
+	emake -j 1 HASOCAMLOPT=$(usex ocamlopt yes no) HASDYNLINK=$(usex ocamlopt yes no) all
+	use doc && emake doc
+}
+
+src_test() {
+	emake HASOCAMLOPT=yes HASDYNLINK=yes tests
+}
+
+src_install() {
+	findlib_src_preinst
+
+	emake \
+		HASOCAMLOPT=$(usex ocamlopt yes no) \
+		HASDYNLINK=$(usex ocamlopt yes no) \
+		DESTDIR="${ED}" \
+		install
+
+	dosym zarith/libzarith.a /usr/$(get_libdir)/ocaml/libzarith.a
+
+	use doc && HTML_DOCS=( html/* )
+	einstalldocs
+}