summaryrefslogtreecommitdiff
path: root/dev-ml/gen
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/gen')
-rw-r--r--dev-ml/gen/Manifest3
-rw-r--r--dev-ml/gen/gen-0.4.0.1.ebuild24
-rw-r--r--dev-ml/gen/metadata.xml11
3 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/gen/Manifest b/dev-ml/gen/Manifest
new file mode 100644
index 000000000000..000c54234539
--- /dev/null
+++ b/dev-ml/gen/Manifest
@@ -0,0 +1,3 @@
+DIST gen-0.4.0.1.tar.gz 72415 BLAKE2B 73fa4169b6c2c3790a7f455136be4fa3bc2ce328833b17293dba793383133f5f151c6e1a2372c3422c7f827ef29eb1c3925a69a28dba787af29f7609ec8c299d SHA512 30722cca6d9b360a9a7d4a97f7553935d5425d5e3d49a7ae265bd0aee5961628a20d182775767a125cf367e1cd218ce4e782f025951468a4f95975163a1f4d76
+EBUILD gen-0.4.0.1.ebuild 502 BLAKE2B c83710e2204e95f5c8e7580f1b23af089cc37705639f8b5f26ac9914db1193b88f2555d724908e1c632b838a74d2dea6a9e17a9257808b44f21e2473e69f47ad SHA512 4c786e785ecf66800b9ce1d79de74c2aa49a92386f024cf61472c17c47253ca9b25162ea63ffa4711f9680d2dfb9e5f68f11bb7bcc9f5f788e67959e3752429e
+MISC metadata.xml 322 BLAKE2B 1b25ae103dc45391ff4a28bf7d0c1ecb273c63f5c878b5ef8a054d2668daca28bc6acd6e92b501d03c15ff0f967dca7ffb7b386cde1c4096a4a55f03d5754aef SHA512 b1c5cc6e178f6efe83c2fdf9e1960b8593f52c6fdf7bb96aba4068f4559b6d3d35c3ffeeb3d854c515b8a55e1a44ce5a314614e6b23974209c10a7519119b3d6
diff --git a/dev-ml/gen/gen-0.4.0.1.ebuild b/dev-ml/gen/gen-0.4.0.1.ebuild
new file mode 100644
index 000000000000..13385f56421c
--- /dev/null
+++ b/dev-ml/gen/gen-0.4.0.1.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2016 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+OASIS_BUILD_TESTS=1
+OASIS_BUILD_DOCS=1
+
+inherit oasis
+
+DESCRIPTION="Simple, efficient iterators for OCaml"
+HOMEPAGE="https://github.com/c-cube/gen"
+SRC_URI="https://github.com/c-cube/gen/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND=""
+DEPEND="${RDEPEND}
+ test? ( dev-ml/ounit dev-ml/iTeML )
+"
+DOCS=( "README.md" "CHANGELOG.md" )
diff --git a/dev-ml/gen/metadata.xml b/dev-ml/gen/metadata.xml
new file mode 100644
index 000000000000..dec7a98cbdca
--- /dev/null
+++ b/dev-ml/gen/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/gen</remote-id>
+ </upstream>
+</pkgmetadata>