summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-01-24 12:42:12 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-01-24 12:50:27 +0100
commit1070935c48e6227b071fcd3ffbd7d49eb34436c7 (patch)
tree01985f125dfc3d7957d4f910595794aa2dabaaa6 /dev-ml/ppx_tools
parentdev-ml/ppx_sexp_value: remove old (diff)
downloadgentoo-1070935c48e6227b071fcd3ffbd7d49eb34436c7.tar.gz
gentoo-1070935c48e6227b071fcd3ffbd7d49eb34436c7.tar.bz2
gentoo-1070935c48e6227b071fcd3ffbd7d49eb34436c7.zip
dev-ml/ppx_tools: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/ppx_tools')
-rw-r--r--dev-ml/ppx_tools/Manifest2
-rw-r--r--dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild28
-rw-r--r--dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild30
3 files changed, 0 insertions, 60 deletions
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest
index e1483b6bca9..3fd85df5ca6 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 db13b9552dc..00000000000
--- 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 ce1f975efd3..00000000000
--- 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
-}