From 7b64536d217519a42208fd9b930b518dca399a5b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Sun, 24 Jul 2016 13:27:33 +0200
Subject: [PATCH] dev-ml/deriving-ocsigen: Remove last-rited pkg, #586906

---
 dev-ml/deriving-ocsigen/Manifest              |  1 -
 .../deriving-ocsigen-0.3c.ebuild              | 51 -------------------
 dev-ml/deriving-ocsigen/metadata.xml          | 11 ----
 profiles/package.mask                         |  2 -
 4 files changed, 65 deletions(-)
 delete mode 100644 dev-ml/deriving-ocsigen/Manifest
 delete mode 100644 dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild
 delete mode 100644 dev-ml/deriving-ocsigen/metadata.xml

diff --git a/dev-ml/deriving-ocsigen/Manifest b/dev-ml/deriving-ocsigen/Manifest
deleted file mode 100644
index d02364ba7049..000000000000
--- a/dev-ml/deriving-ocsigen/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST deriving-ocsigen-0.3c.tar.gz 61242 SHA256 eb6e7e647b6f2effcc65c9b32076fbc12e366e16035447a762a93e5e1cba94c7 SHA512 121225b2a143676ec7e49e2f8eb22b674280e74276192d2ffb9b3e063cb47029421bffab87f838ad74bcfa08af27a53a5d745f2dc2398eae3e0e9c02849c818a WHIRLPOOL a9686b3b064a1bdacae2415248c2b7a825738ab7889d6fd56ffa575694ddb151d928b07621aca1d1be9c4fb624647fb5c0be2debdeea5d3fdae879a555b9b980
diff --git a/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild b/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild
deleted file mode 100644
index e8ee2392a48f..000000000000
--- a/dev-ml/deriving-ocsigen/deriving-ocsigen-0.3c.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="A deriving library for Ocsigen"
-HOMEPAGE="http://ocsigen.org"
-SRC_URI="http://www.ocsigen.org/download/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt type-conv"
-
-DEPEND=">=dev-lang/ocaml-3.12:=[ocamlopt?]
-	dev-ml/camlp4:=
-	type-conv? ( >=dev-ml/type-conv-108:= )"
-RDEPEND="${DEPEND}"
-
-src_prepare() {
-	find . -type f -exec sed -i 's/type-conv/type_conv/g' {} +
-}
-
-src_configure() {
-	use type-conv || echo "TYPECONV :=" >> Makefile.config
-}
-
-src_compile() {
-	if use ocamlopt; then
-		emake
-	else
-		emake byte
-	fi
-}
-
-src_test() {
-	emake tests
-}
-
-src_install() {
-	findlib_src_preinst
-	if use ocamlopt; then
-		emake install
-	else
-		emake install-byte
-	fi
-	dodoc CHANGES README
-}
diff --git a/dev-ml/deriving-ocsigen/metadata.xml b/dev-ml/deriving-ocsigen/metadata.xml
deleted file mode 100644
index f5f9ed3cefac..000000000000
--- a/dev-ml/deriving-ocsigen/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>
-<use>
-	<flag name="type-conv">Enable type-conv for the syntax extention.</flag>
-</use>
-</pkgmetadata>
diff --git a/profiles/package.mask b/profiles/package.mask
index 2119f238cb80..e3f2f1f244cc 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -238,10 +238,8 @@ media-video/motion
 
 # Michał Górny <mgorny@gentoo.org> (25 Jun 2016)
 # Obsolete packages for removal in 30 days. Replacements and bugs:
-# dev-ml/deriving-ocsigen -> dev-ml/deriving, #586906
 # dev-ml/faillib -> dev-ml/ppx_fail, #586912
 # dev-ml/typehashlib -- not used anymore, #586928
-dev-ml/deriving-ocsigen
 dev-ml/faillib
 dev-ml/typehashlib
 
-- 
2.26.2