diff options
| -rw-r--r-- | dev-ml/type-conv/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/type-conv/metadata.xml | 5 | ||||
| -rw-r--r-- | dev-ml/type-conv/type-conv-113.00.02.ebuild | 27 |
3 files changed, 0 insertions, 33 deletions
diff --git a/dev-ml/type-conv/Manifest b/dev-ml/type-conv/Manifest deleted file mode 100644 index 6beef75fe6ce..000000000000 --- a/dev-ml/type-conv/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST type_conv-113.00.02.tar.gz 64174 BLAKE2B 23189d3b9f676657d59d0801ec0c7bde7b926e2e75c6a2316ae5fc8b5dedb3a2cda944b029e61a10d997b555ed0678dd0cb0593693c395a5bcd4df4de4a15de9 SHA512 6bc6db0e5a36fa4150941155290d137552d9e19aac7cf3aff107f0a7eaa47749c7044c4a4e475827d739784b99ef2103e9c9c03191c6aaa55c51585e71553559 diff --git a/dev-ml/type-conv/metadata.xml b/dev-ml/type-conv/metadata.xml deleted file mode 100644 index 1b2becffa26c..000000000000 --- a/dev-ml/type-conv/metadata.xml +++ /dev/null @@ -1,5 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> -</pkgmetadata> diff --git a/dev-ml/type-conv/type-conv-113.00.02.ebuild b/dev-ml/type-conv/type-conv-113.00.02.ebuild deleted file mode 100644 index 088550945270..000000000000 --- a/dev-ml/type-conv/type-conv-113.00.02.ebuild +++ /dev/null @@ -1,27 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI="5" - -OASIS_BUILD_DOCS=1 - -inherit oasis - -MY_P=${PN/-/_}-${PV} -DESCRIPTION="Mini library required for some other preprocessing libraries" -HOMEPAGE="http://janestreet.github.io/" -SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${MY_P}.tar.gz" - -LICENSE="LGPL-2.1-with-linking-exception" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc ~x86" -IUSE="" - -RDEPEND=">=dev-lang/ocaml-4.02[ocamlopt?] - dev-ml/camlp4:=" -DEPEND="${RDEPEND} - >=dev-ml/findlib-1.3.2" - -DOCS=( "README.md" "CHANGES.md" ) - -S="${WORKDIR}/${MY_P}" |