summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-07-23 01:27:21 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-07-23 02:03:19 +0200
commit8542002a7c59b1cb7a4ca78c014a2b80310f1ba9 (patch)
treed2273a2747c2a5d359fa441d8f471f6d426e6357 /dev-ml
parentdev-ml/merlin: bump to 4.6 (diff)
downloadgentoo-8542002a7c59b1cb7a4ca78c014a2b80310f1ba9.tar.gz
gentoo-8542002a7c59b1cb7a4ca78c014a2b80310f1ba9.tar.bz2
gentoo-8542002a7c59b1cb7a4ca78c014a2b80310f1ba9.zip
dev-ml/seq: bump to 0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/seq/Manifest1
-rw-r--r--dev-ml/seq/seq-0.3.ebuild15
2 files changed, 16 insertions, 0 deletions
diff --git a/dev-ml/seq/Manifest b/dev-ml/seq/Manifest
index bc202e2c5fe2..b2c09ff23e2f 100644
--- a/dev-ml/seq/Manifest
+++ b/dev-ml/seq/Manifest
@@ -1,2 +1,3 @@
DIST seq-0.2.2.tar.gz 12240 BLAKE2B 0f7c64e26593b012b60cfdcba02dc2748558c46a72789c77eaff70bcb24ab601895c429aa16dc066151323a48c312a372af5e19cebe0886e9203d55436c09cb1 SHA512 cab0eb4cb6d9788b7cbd7acbefefc15689d706c97ff7f75dd97faf3c21e466af4d0ff110541a24729db587e7172b1a30a3c2967e17ec2e49cbd923360052c07c
DIST seq-0.2.tar.gz 12012 BLAKE2B 2321caabaefd98d4237d6ede034007ae5a4295765df4df21d4f0d475f097461992e4619f817ea7ebb20a3023e9d175237d636ed99bb8b1ca7b097c805daffbe8 SHA512 b2571225a18e624b79dad5e1aab91b22e2fda17702f2e23c438b75d2a71e24c55ee8672005f5cc4b17ae79e3b277b1918b71b5d0d674b8b12ea19b3fb2d747cb
+DIST seq-0.3.tar.gz 12562 BLAKE2B 2ef68aac50cee1a6faa97cd408d231541f3b0a941896bfadd4503c7b26a554b95314bedfba6cf34c2253858f5e86660876a1635e87a861a7a54d8a805106f9be SHA512 3cbca9e771bc05350b5c6ffd41237fa12c6909a077f1090e28c4d0403711c137c96fccd670f074b1ea1a47bdcfd7a7618247bdad6ee71e52e9af75894e8cd974
diff --git a/dev-ml/seq/seq-0.3.ebuild b/dev-ml/seq/seq-0.3.ebuild
new file mode 100644
index 000000000000..7f7482efb9b0
--- /dev/null
+++ b/dev-ml/seq/seq-0.3.ebuild
@@ -0,0 +1,15 @@
+# Copyright 2020-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Compatibility package for the standard OCaml iterator type"
+HOMEPAGE="https://github.com/c-cube/seq"
+SRC_URI="https://github.com/c-cube/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
+IUSE="+ocamlopt"