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, 0 insertions, 38 deletions
diff --git a/dev-ml/gen/Manifest b/dev-ml/gen/Manifest
deleted file mode 100644
index 000c54234539..000000000000
--- a/dev-ml/gen/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-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
deleted file mode 100644
index 13385f56421c..000000000000
--- a/dev-ml/gen/gen-0.4.0.1.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# 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
deleted file mode 100644
index dec7a98cbdca..000000000000
--- a/dev-ml/gen/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?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>