From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 21:03:06 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-ml/sequence/Manifest             |  3 +++
 dev-ml/sequence/metadata.xml         | 11 +++++++++++
 dev-ml/sequence/sequence-0.10.ebuild | 23 +++++++++++++++++++++++
 3 files changed, 37 insertions(+)
 create mode 100644 dev-ml/sequence/Manifest
 create mode 100644 dev-ml/sequence/metadata.xml
 create mode 100644 dev-ml/sequence/sequence-0.10.ebuild

(limited to 'dev-ml/sequence')

diff --git a/dev-ml/sequence/Manifest b/dev-ml/sequence/Manifest
new file mode 100644
index 000000000000..014d1857a466
--- /dev/null
+++ b/dev-ml/sequence/Manifest
@@ -0,0 +1,3 @@
+DIST sequence-0.10.tar.gz 88020 BLAKE2B 407b6df189c33c9dc8c47fc6c47edf1ff500935f371014756c88e6929cf038ce358abf7039636f42164286cd705047be530ff0f8899fb0ba63bed37ff503fb19 SHA512 52ca4a2f83d774e6cee7f35c4ef6942968d7ca3b902f645a3d36620a2a4ebe78532383ad4e7de4fac23f1a04e5005cd0b23c0cd0b7b4e329ad05d8341c5ddc3e
+EBUILD sequence-0.10.ebuild 539 BLAKE2B ddb77ca0f38c83002e56b91aa8d0baecc71d94b49295d80d9f944edf0ea920e40a757346b56e6e3297331eaf8a0f11c817b1d5816b986094833b19c950c861b7 SHA512 c5652e0d04657708b2cde6eeab375d21f1c962abf2f454215a9395617e4c7498d57fbf9c47a1dd8f6fffedb048d3c6f8adc9155fedc1915dbf056ebbe208e212
+MISC metadata.xml 327 BLAKE2B 0aa6ac537a791e6ff82677b6e9a1180336092b4f6a5cac4191938c1eca6d695044b8b0be4c6b1e9d640e2bbdf82b2dfb047240025d4b910052c283ad7646f4e3 SHA512 0ed63b402952537100083251bae2b69af73b54a7e9fd779e3381527ed0d2f6986e3641040137807b608aabdfc3661b86bb6b19fcfdf078a86a677bd811f06960
diff --git a/dev-ml/sequence/metadata.xml b/dev-ml/sequence/metadata.xml
new file mode 100644
index 000000000000..d1abc039fe95
--- /dev/null
+++ b/dev-ml/sequence/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>ml@gentoo.org</email>
+		<name>Gentoo ML Project</name>
+	</maintainer>
+	<upstream>
+		<remote-id type="github">c-cube/sequence</remote-id>
+	</upstream>
+</pkgmetadata>
diff --git a/dev-ml/sequence/sequence-0.10.ebuild b/dev-ml/sequence/sequence-0.10.ebuild
new file mode 100644
index 000000000000..1d89efbc87af
--- /dev/null
+++ b/dev-ml/sequence/sequence-0.10.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+OASIS_BUILD_DOCS=1
+OASIS_BUILD_TESTS=1
+
+inherit oasis
+
+DESCRIPTION="Simple sequence (iterator) datatype and combinators"
+HOMEPAGE="https://github.com/c-cube/sequence"
+SRC_URI="https://github.com/c-cube/sequence/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD-2"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND=">=dev-lang/ocaml-4.03:="
+DEPEND="${RDEPEND}
+	test? ( dev-ml/iTeML )"
+DOCS=( "README.adoc" "CHANGELOG.md" )
-- 
cgit v1.2.3