summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-02-16 15:45:25 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-02-16 15:45:25 +0100
commit05895dc780cf2621f2118ddd7bb97c43ac051fd3 (patch)
treee79650943afbf6e6d92e69993a34d047d3b5703f /dev-ml
parentprofiles/updates: move dev-ml/custom_printf to dev-ml/ppx_custom_printf which... (diff)
downloadgentoo-05895dc780cf2621f2118ddd7bb97c43ac051fd3.tar.gz
gentoo-05895dc780cf2621f2118ddd7bb97c43ac051fd3.tar.bz2
gentoo-05895dc780cf2621f2118ddd7bb97c43ac051fd3.zip
dev-ml: remove custom_printf. moved to ppx_custom_printf.
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/custom_printf/Manifest2
-rw-r--r--dev-ml/custom_printf/custom_printf-112.24.00.ebuild24
-rw-r--r--dev-ml/custom_printf/custom_printf-113.00.00.ebuild24
-rw-r--r--dev-ml/custom_printf/metadata.xml11
4 files changed, 0 insertions, 61 deletions
diff --git a/dev-ml/custom_printf/Manifest b/dev-ml/custom_printf/Manifest
deleted file mode 100644
index b4c760213a21..000000000000
--- a/dev-ml/custom_printf/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST custom_printf-112.24.tar.gz 56205 SHA256 dad3aface92c53e8fbcc12cc9358c4767cb1cb09857d4819a10ed98eccaca8f9 SHA512 6bb37c9d4f9abb520659bb0fbb3fb6ce8ed44fde602a868b822f4ef89e52c4009ced639fb7d21d8e1aa798474293fb7d3b487a85d57391a412cd2c0933e64993 WHIRLPOOL 41d831d23c10790196b7a02e11045ed2baa3c70279d9ea611751e7ba1e7a96a918bdd60702d73d5edabaa50dbce6f3852bb9c19044d8508d6e66401ab2f93db6
-DIST custom_printf-113.00.00.tar.gz 56196 SHA256 4672db143ec72e4ff5d35490b0ae8b366755154f0b7660c29037ca5d9fbb6647 SHA512 02079132cf68ffc27ca1ac41cf183d10207d2e7570952010bbd0a376b11fec40b34a70ab13f79553eb4f425c1477791a1b1ad4f691b8354e93e283b7c4d72a9f WHIRLPOOL 81f40341eaa6a1fcb7ca696dc94720a630367093c01e7a9fb95fea8db10f150669dd9db2cbebd96defec4c29c670577a809bc3b11deecd84da7554600d94b572
diff --git a/dev-ml/custom_printf/custom_printf-112.24.00.ebuild b/dev-ml/custom_printf/custom_printf-112.24.00.ebuild
deleted file mode 100644
index 01b71822c2c4..000000000000
--- a/dev-ml/custom_printf/custom_printf-112.24.00.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-DESCRIPTION="Syntax extension for printf format strings"
-HOMEPAGE="https://bitbucket.org/yminsky/ocaml-core/wiki/Home"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P%.*}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
- >=dev-ml/type-conv-109.20.00:=
- dev-ml/sexplib:=
- dev-ml/pa_ounit:=
- dev-ml/camlp4:=
-"
-RDEPEND="${DEPEND}"
diff --git a/dev-ml/custom_printf/custom_printf-113.00.00.ebuild b/dev-ml/custom_printf/custom_printf-113.00.00.ebuild
deleted file mode 100644
index 6bfad310175f..000000000000
--- a/dev-ml/custom_printf/custom_printf-113.00.00.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-DESCRIPTION="Syntax extension for printf format strings"
-HOMEPAGE="https://bitbucket.org/yminsky/ocaml-core/wiki/Home"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
- >=dev-ml/type-conv-109.20.00:=
- dev-ml/sexplib:=
- dev-ml/pa_ounit:=
- dev-ml/camlp4:=
-"
-RDEPEND="${DEPEND}"
diff --git a/dev-ml/custom_printf/metadata.xml b/dev-ml/custom_printf/metadata.xml
deleted file mode 100644
index 91d86fdbaf9e..000000000000
--- a/dev-ml/custom_printf/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="bitbucket">yminsky/ocaml-core</remote-id>
- </upstream>
-</pkgmetadata>