diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-02-16 11:43:52 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-02-16 11:43:52 +0100 |
| commit | c3334967e98adcfd641e2f17fcaf12a0edbd0c56 (patch) | |
| tree | ccd93e6d0f9689b8db730dcdd9e59570549047bb /dev-ml | |
| parent | profiles/updates: move dev-ml/pa_test to dev-ml/ppx_assert which is the new n... (diff) | |
| download | gentoo-c3334967e98adcfd641e2f17fcaf12a0edbd0c56.tar.gz gentoo-c3334967e98adcfd641e2f17fcaf12a0edbd0c56.tar.bz2 gentoo-c3334967e98adcfd641e2f17fcaf12a0edbd0c56.zip | |
dev-ml: remove pa_test, moved to ppx_assert, bug #574820
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/pa_test/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/pa_test/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/pa_test/pa_test-111.08.01.ebuild | 26 | ||||
| -rw-r--r-- | dev-ml/pa_test/pa_test-112.24.00.ebuild | 27 |
4 files changed, 0 insertions, 63 deletions
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}" |