diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-24 12:42:12 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-24 12:50:27 +0100 |
| commit | 1070935c48e6227b071fcd3ffbd7d49eb34436c7 (patch) | |
| tree | 01985f125dfc3d7957d4f910595794aa2dabaaa6 | |
| parent | dev-ml/ppx_sexp_value: remove old (diff) | |
| download | gentoo-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
| -rw-r--r-- | dev-ml/ppx_tools/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_tools/ppx_tools-4.02.3.ebuild | 28 | ||||
| -rw-r--r-- | dev-ml/ppx_tools/ppx_tools-5.0.4.02.0.ebuild | 30 |
3 files changed, 0 insertions, 60 deletions
diff --git a/dev-ml/ppx_tools/Manifest b/dev-ml/ppx_tools/Manifest index e1483b6bca98..3fd85df5ca6f 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 db13b9552dc1..000000000000 --- 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 ce1f975efd3f..000000000000 --- 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 -} |