[gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools/

["Alexis Ballier" <aballier@gentoo.org>]

commit:     1070935c48e6227b071fcd3ffbd7d49eb34436c7
Author:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Tue Jan 24 11:42:12 2017 +0000
Commit:     Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue Jan 24 11:50:27 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1070935c

dev-ml/ppx_tools: remove old

Package-Manager: Portage-2.3.3, Repoman-2.3.1

 dev-ml/ppx_tools/Manifest                    |  2 --
 dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild     | 28 --------------------------
 dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild | 30 ----------------------------
 3 files changed, 60 deletions(-)

diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index e1483b6..3fd85df 100644
--- a/dev-ml/ppx_tools/Manifest
+++ b/dev-ml/ppx_tools/Manifest
@@ -1,3 +1 @@
-DIST ppx_tools-4.02.3.tar.gz 16622 SHA256 08b3d915b9be9ada24029470f481d31c1b750a86ab59b4917c59455f5a943b31 SHA512 4eeafe8e4a740b35ea0f15f9c03faa91d8b24c946150de0409bf953d50a5c402284ca9b34058dcd399df6d41af56c899aa4b44d92b02cdf7a93527f4e3e1e7d2 WHIRLPOOL 5b0dacfb806ffcaae2a9d49f99e843de4424dbf1f86ae91e64480927094b569e49b7f501ddb8849b3013f65d47badb04f0f596b7277d1ed44a95f29ccf8acd94
-DIST ppx_tools-5.0.4.02.0.tar.gz 17443 SHA256 2c9b80f1755a6155820fc165b603f7184998ec2f097ff2c74169a2f86c264f66 SHA512 f02899f9fece9b27f2541c852e2f0e8c672f5e9d7667a5d9740a0e83581710c3781379f19b2397ca8442c4cc5161752ee61c000195fd270d04271ab512f4e48f WHIRLPOOL c1f753d100bc5490034d5acaebc1bbef5350b21bb42bc2202e939128ed7bea299b7248998b93f1c2728bb3ddbd02d329bd973f2e89950aaf32072b0300ce4b4f
 DIST ppx_tools-5.0.4.03.0.tar.gz 17209 SHA256 2cd990ef36145c35b0fd2cfaadc379cf032dd0987c07bea094d4437277d573e5 SHA512 d1867b084885704757f390b6f6ca8b5d7702f0476149d99ea227f98230ab35d57f5c4aa779881231a0a77cfd1861255118fa2551a49ab85553f63e9aab9baae4 WHIRLPOOL a74a30397ec858d3be478c85d7e4b54f065e35d6a95b95cca0a49049eb167e23892088620d9cdb59d81b598be0ebe3a1be123928768e21186f710ad81a5b8118

diff --git a/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild b/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
deleted file mode 100644
index db13b95..00000000
--- a/dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild
+++ /dev/null
@@ -1,28 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib
-
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.02.3:="
-RDEPEND="${DEPEND}"
-
-src_compile() {
-	emake -j1
-}
-
-src_install() {
-	findlib_src_install
-	dodoc README.md
-}

diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
deleted file mode 100644
index ce1f975..00000000
--- a/dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2016 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI=5
-
-inherit findlib versionator
-
-MY_PV=$(replace_version_separator 2 '+')
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/alainfrisch/ppx_tools"
-SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND=">=dev-lang/ocaml-4.02.3:="
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')"
-
-src_compile() {
-	emake -j1
-}
-
-src_install() {
-	findlib_src_install
-	dodoc README.md
-}