diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/sequence | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/sequence')
| -rw-r--r-- | dev-ml/sequence/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/sequence/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/sequence/sequence-0.10.ebuild | 23 |
3 files changed, 37 insertions, 0 deletions
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" ) |