summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/batteries/Manifest1
-rw-r--r--dev-ml/batteries/batteries-3.10.0.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/batteries/Manifest b/dev-ml/batteries/Manifest
index c7c1000c0435..8dbec2f6d3f8 100644
--- a/dev-ml/batteries/Manifest
+++ b/dev-ml/batteries/Manifest
@@ -1 +1,2 @@
+DIST batteries-3.10.0.tar.gz 795346 BLAKE2B ff4a46641dd4eb9bd1fcab68f0a30fb3af40b896941aa44eba2ef3e1a499b3be20c19a5058ce304766807a7b9e328dc0adc602395de30ef97dc9d3f3f9d4100c SHA512 2be9e9e709aa0d261c969409017355313c3edd1f0479f61757f6f57562a0ed78dba0c3c873ec7ef8cf10c9b872ba08b92b07b9a120f287fe1c6ab864ac8f787c
DIST batteries-3.9.0.tar.gz 795015 BLAKE2B 62ea499848267117be962fe23f5ad1f4f860799d591af82e0ca3ef5fd14a8c5ac38329f55456f5aba9e0f7ba0c49af8316d1ffe61c8daa9165e123e5537b60aa SHA512 55975b62c26f6db77433a3ac31f97af609fc6789bb62ac38b267249c78fd44ff37fe81901f1cf560857b9493a6046dd37b0d1c0234c66bd59e52843aac3ce6cb
diff --git a/dev-ml/batteries/batteries-3.10.0.ebuild b/dev-ml/batteries/batteries-3.10.0.ebuild
new file mode 100644
index 000000000000..f7c9911d8bb4
--- /dev/null
+++ b/dev-ml/batteries/batteries-3.10.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 2021-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+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"
+S="${WORKDIR}"/batteries-included-${PV}
+
+LICENSE="LGPL-2.1-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="+ocamlopt"
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/camlp-streams:=[ocamlopt?]
+ dev-ml/num:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"