From: Alexis Ballier <aballier@gentoo.org>
Date: Tue, 16 Feb 2016 10:43:52 +0000 (+0100)
Subject: dev-ml: remove pa_test, moved to ppx_assert, bug #574820
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=c3334967e98adcfd641e2f17fcaf12a0edbd0c56;p=gentoo.git

dev-ml: remove pa_test, moved to ppx_assert, bug #574820
---

diff --git a/dev-ml/pa_test/Manifest b/dev-ml/pa_test/Manifest
deleted file mode 100644
index bce7a98869f7..000000000000
--- a/dev-ml/pa_test/Manifest
+++ /dev/null
@@ -1,2 +0,0 @@
-DIST pa_test-111.08.01.tar.gz 50614 SHA256 c9933e1e76bae36e4aff020c7a12105d944c47cf219ada823e97b1f999b0e921 SHA512 472205f5e35084ccdd3e29362388a4f559c631b805d8ca67273f4139f8fcdaa6ac37a8547916c2c2edbe253cdc9adf03078149ee3f925698a19f285675bbd0ea WHIRLPOOL 7ee720c1ba016d48d9674cb9381c7faae487d83c25095b6d38bd3d08145cda89b5d193c19e461180aeb4bbaa9dae65ad81602bf1ad2a0c286e014c721945b4a3
-DIST pa_test-112.24.tar.gz 51922 SHA256 b03d13c2bc9fa9a4b1c507d7108d965202160f83e9781d430d3b53a1993e30d6 SHA512 3606c583bfe0c3cb633dbe467561740a55070c5ea689c95ea74f44038d91c0007bf4978a232104fbc9378441070e9cff7e0f58b193e06dffb2ff4f17ed3282cf WHIRLPOOL 253e0c7877e3a0090f36f3f83e1b7d32ed43349658f7a9d85ebcf7300436966c643492d3e3204731b377832b5590fd31b9de77e3df76c8c89d85490a2dc80dc6
diff --git a/dev-ml/pa_test/metadata.xml b/dev-ml/pa_test/metadata.xml
deleted file mode 100644
index ffac4d7ebc01..000000000000
--- a/dev-ml/pa_test/metadata.xml
+++ /dev/null
@@ -1,8 +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>
-</pkgmetadata>
diff --git a/dev-ml/pa_test/pa_test-111.08.01.ebuild b/dev-ml/pa_test/pa_test-111.08.01.ebuild
deleted file mode 100644
index 368cf65e10f3..000000000000
--- a/dev-ml/pa_test/pa_test-111.08.01.ebuild
+++ /dev/null
@@ -1,26 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Quotation expanders for assertions"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-109.60.00:=
-	dev-ml/sexplib:=
-	dev-ml/comparelib:=
-	dev-ml/camlp4:=
-	"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"
diff --git a/dev-ml/pa_test/pa_test-112.24.00.ebuild b/dev-ml/pa_test/pa_test-112.24.00.ebuild
deleted file mode 100644
index 803e263521e6..000000000000
--- a/dev-ml/pa_test/pa_test-112.24.00.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-inherit oasis
-
-MY_P=${PN/-/_}-${PV}
-DESCRIPTION="Quotation expanders for assertions"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-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"
-IUSE=""
-
-DEPEND=">=dev-ml/type-conv-109.60.00:=
-	dev-ml/sexplib:=
-	dev-ml/comparelib:=
-	dev-ml/camlp4:=
-	dev-ml/herelib:=
-	"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${MY_P}"