summaryrefslogtreecommitdiff
path: root/dev-ml/sequence
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
committerV3n3RiX <venerix@redcorelinux.org>2017-10-09 18:53:29 +0100
commit4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch)
treeba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/sequence
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/sequence')
-rw-r--r--dev-ml/sequence/Manifest4
-rw-r--r--dev-ml/sequence/metadata.xml11
-rw-r--r--dev-ml/sequence/sequence-0.10.ebuild23
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/sequence/Manifest b/dev-ml/sequence/Manifest
new file mode 100644
index 000000000000..7542a70c26bb
--- /dev/null
+++ b/dev-ml/sequence/Manifest
@@ -0,0 +1,4 @@
+DIST sequence-0.10.tar.gz 88020 SHA256 ceb1cdccfa578fe5bdf8032cd1c4214aeb5b9a69ce475ea9b569a88252c45c03 SHA512 52ca4a2f83d774e6cee7f35c4ef6942968d7ca3b902f645a3d36620a2a4ebe78532383ad4e7de4fac23f1a04e5005cd0b23c0cd0b7b4e329ad05d8341c5ddc3e WHIRLPOOL 69ff44cbf264ff89c9c88c85630fa915eeb5b424320e29747e106b4d8f19d8a81267ecdbae2ff266439ae25e2bcbfe01d552a370061e30a2072bb3c19aa8a60c
+EBUILD sequence-0.10.ebuild 539 SHA256 5989a69cfc78b170af399e3759bd717c3c813ee70bb3ba9dca0b6e1c8ee0a915 SHA512 c5652e0d04657708b2cde6eeab375d21f1c962abf2f454215a9395617e4c7498d57fbf9c47a1dd8f6fffedb048d3c6f8adc9155fedc1915dbf056ebbe208e212 WHIRLPOOL 3d8e8ac1535881befb0a2a418b16ceb7fa5d782dd3a8cd6231a63cd5fa9ff402607d3b1e20b10210a41307224920953dc0340212b687273d8a18b6679d420745
+MISC ChangeLog 459 SHA256 d7d31d294b8568e4763429a3ee18b3bb448e09f5a990a06396dc0be4a3a481fc SHA512 49a68d612548bc66c80ffc81af17753c6ffce49833b26c4b785c5f9ea4e4ad754af360e8d0a0b598a09a8e41dc568d21ca2ebfcec8acf471fc602723ff9fab3c WHIRLPOOL 6bd864423aef5a94759181c09f3e42d6195258eab7a141f8274565e92e4f795fbca1de447ec60e3d528cf66dcb4d8a62be56d3482b3c3349cae0b2f74a06d4e0
+MISC metadata.xml 327 SHA256 8ec24bb7cba2bc91d8ddc1afc9d7259977f43d91ecbc531bc9acca50f1ce52c9 SHA512 0ed63b402952537100083251bae2b69af73b54a7e9fd779e3381527ed0d2f6986e3641040137807b608aabdfc3661b86bb6b19fcfdf078a86a677bd811f06960 WHIRLPOOL f2553fca3665f2a8095c69e4158f2a2f2ffcaa46976af37c3a724e821ebd0e304b104906d5977d5e55ed163badfd431fc418a796e8d8bac500dbc96922b6ad7e
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" )