summaryrefslogtreecommitdiff
path: root/dev-ml/astring
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/astring')
-rw-r--r--dev-ml/astring/Manifest3
-rw-r--r--dev-ml/astring/astring-0.8.3.ebuild25
-rw-r--r--dev-ml/astring/metadata.xml11
3 files changed, 0 insertions, 39 deletions
diff --git a/dev-ml/astring/Manifest b/dev-ml/astring/Manifest
deleted file mode 100644
index 6f82c70bb4e4..000000000000
--- a/dev-ml/astring/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST astring-0.8.3.tbz 38710 BLAKE2B 253fe07b51996eb7b5f84e18d171b0f65cbb5abba9b241a02aa679765f3190edc636c1ba989910fde374a20c7615db1887eb73d8607f3bb8311e20ab6e67f670 SHA512 c7230e47b7ef14e6040fb18284a3d5aa8da1428b721cf91a7f17104cfb853be24b9c2aaa0b118bf3e050158aa8748311435417c6cf9014d260fb4379e4ead3e1
-EBUILD astring-0.8.3.ebuild 544 BLAKE2B 92711e64cdd1c9357949d5269ef6f5abafdcbf586a8ad12a6080a304eb75c6cd02aa26796956021165a5c576708213da6914fed03befcab301f2d6a277d0380d SHA512 f82e7914443e9f80fdea42b4d3a2603b2fcb66343648798c79d52965e6107b8a15135248b02feb1fcef967193ce922d86ae2b6b81c20338fffca896b87de52bf
-MISC metadata.xml 328 BLAKE2B ac4cbca0d613fa5e3f06dbba3f77400b40b1469dbf4c4980b212bb3bfc6d782a4beb42918aafcc99a713acb07049e40dfd73a3c045592c2a861afd95976fe18d SHA512 d160a180c4cdfb31180232edd9ad5ba724e667c15a384c09010351e2053d726a1709cf5fe045f72fbdc2046214909a10e70ab202ee617da9a57f74964b2c8de8
diff --git a/dev-ml/astring/astring-0.8.3.ebuild b/dev-ml/astring/astring-0.8.3.ebuild
deleted file mode 100644
index cd17e8514586..000000000000
--- a/dev-ml/astring/astring-0.8.3.ebuild
+++ /dev/null
@@ -1,25 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI="5"
-
-inherit opam
-
-DESCRIPTION="Alternative String module for OCaml"
-HOMEPAGE="http://erratique.ch/software/astring https://github.com/dbuenzli/astring"
-SRC_URI="http://erratique.ch/software/astring/releases/${P}.tbz"
-
-LICENSE="ISC"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="dev-lang/ocaml:=[ocamlopt]"
-DEPEND="${RDEPEND}
- dev-ml/topkg
- dev-ml/ocamlbuild
- dev-ml/findlib"
-
-src_compile() {
- ocaml pkg/pkg.ml build || die
-}
diff --git a/dev-ml/astring/metadata.xml b/dev-ml/astring/metadata.xml
deleted file mode 100644
index 7f44ca0a6b88..000000000000
--- a/dev-ml/astring/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">dbuenzli/astring</remote-id>
- </upstream>
-</pkgmetadata>