summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2023-09-02 14:06:49 +0200
committerAlfredo Tupone <tupone@gentoo.org>2023-09-02 15:16:26 +0200
commitd88b3c1bbb592a30ea491e22246695ea8cc49b52 (patch)
tree870ac223e9e3b2dd0df97c455c189572fa515b22 /dev-ml/base
parentdev-lang/nim: drop old 1.6.10-r2 (diff)
downloadgentoo-d88b3c1bbb592a30ea491e22246695ea8cc49b52.tar.gz
gentoo-d88b3c1bbb592a30ea491e22246695ea8cc49b52.tar.bz2
gentoo-d88b3c1bbb592a30ea491e22246695ea8cc49b52.zip
dev-ml/base: add 0.16.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/base')
-rw-r--r--dev-ml/base/Manifest1
-rw-r--r--dev-ml/base/base-0.16.3.ebuild22
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/base/Manifest b/dev-ml/base/Manifest
index 6c198a03a448..c27c9e3d2313 100644
--- a/dev-ml/base/Manifest
+++ b/dev-ml/base/Manifest
@@ -5,3 +5,4 @@ DIST base-0.15.0.tar.gz 414117 BLAKE2B 7df1e74fc74f7d58d8e3b524a95a8ea8750dfa39b
DIST base-0.15.1.tar.gz 414911 BLAKE2B 4f0955374213bed241214451cb930c939bfed7208668b2b6676786a37c60f14b671b50e9a8893555693068dc2272e21f63e4def938dbe064b4ecb143925a8aab SHA512 4ac43829229765c19d8af98d45783c098abffd026328b03f5dc4390911b26cf6b65879d4084d30dd4b0b4f5a1d23079270e9bb10b1aeccf575ee70c7e16021ec
DIST base-0.16.1.tar.gz 442796 BLAKE2B 8ad6426bd32700e0d8bfdf0315d2113cbfcf69459b6b3a5997adc6e320885e2706f72cdecaeeafde2a77c089752f446c9d865c152cc3cc2ecb4f98b1ee19548e SHA512 347ccc68be09ef207f0ac793f1c472688855ba53c317a35c95f7124be4105985b54f866b604a66a9d2e54bc320f7b29ffa3eb224622b1cce6ca504e1ee4888ff
DIST base-0.16.2.tar.gz 442593 BLAKE2B bf0de878e412719a370b17c741b3191bacb34416c7dce022a56944803db30699b40bd750d8290e40a817dbd4e0dc8d3298e816c8ce31ea2197fbaf1eefb368a3 SHA512 d5f00c411dbdffe6cabc7ec309550c4f947e79c9ff6c95cbb2d148fd0bbff060db8019c9544c1db56172a6d143f810e700d7092d404ba6cbcd756cbaa896813f
+DIST base-0.16.3.tar.gz 442632 BLAKE2B 533a04b197bb1065a8b8772aa227bbe3be2c47d536722dfa7d1df366ad05e40fdd47f3a842654ee9bde1e3527ff34adaf155057af68596d4c02c8108505c9108 SHA512 69380ed392faf4495459f97f70a10a6959fce71d2e6ba093472fc272141646307fd7872407de855dfa48ef0435f6587eae5aa50f4a67eac40a9e1946d0c3c070
diff --git a/dev-ml/base/base-0.16.3.ebuild b/dev-ml/base/base-0.16.3.ebuild
new file mode 100644
index 000000000000..500f481d48ff
--- /dev/null
+++ b/dev-ml/base/base-0.16.3.ebuild
@@ -0,0 +1,22 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Standard library for OCaml"
+HOMEPAGE="https://github.com/janestreet/base"
+SRC_URI="https://github.com/janestreet/base/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.14.0
+ =dev-ml/sexplib0-0.16*:=
+ dev-ml/dune-configurator:=
+"
+DEPEND="${RDEPEND}"