Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/ppx_tools_versioned/
Date: Mon, 24 Jul 2017 05:56:23
Message-Id: 1500875226.20b65cb8002a598e7b20a2598e725a4acf6900b5.aballier@gentoo
1 commit: 20b65cb8002a598e7b20a2598e725a4acf6900b5
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Mon Jul 24 05:47:06 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Mon Jul 24 05:47:06 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=20b65cb8
7
8 dev-ml/ppx_tools_versioned: Remove old
9
10 Package-Manager: Portage-2.3.6, Repoman-2.3.3
11
12 dev-ml/ppx_tools_versioned/Manifest | 1 -
13 .../ppx_tools_versioned-5.0_beta1.ebuild | 30 ----------------------
14 2 files changed, 31 deletions(-)
15
16 diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest
17 index 8eaf82896b6..065a9cc70d0 100644
18 --- a/dev-ml/ppx_tools_versioned/Manifest
19 +++ b/dev-ml/ppx_tools_versioned/Manifest
20 @@ -1,2 +1 @@
21 DIST ppx_tools_versioned-5.0.1.tar.gz 43741 SHA256 3989a789be7b3255acc013efa9084596ff980d527bf2860c73d08ab4620b1b8e SHA512 4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb WHIRLPOOL 004f54fb967f337906df0fce5fbd20cea2a77fa9bac31d435623f393f16711a56a956523e790578a5b44f906ab1f4d204bc2373a7f4388e1e9dbe81e15a2843a
22 -DIST ppx_tools_versioned-5.0beta1.tar.gz 43709 SHA256 c558f9f946c9237511ed7b755868acfb6eb5ee6196da0e1c8361c2adb8d8bc9f SHA512 e536a41126d28addf54752ccb851a5dfa2e8ecf16770a1ae891820bb0a8606eb72660f56349fec9f41d208103096e4e5c3d9834edf255ba2349b09aaaf9aacf2 WHIRLPOOL fbf74737a18ac6d0eecadc38849d902dada5121fe55ee1a55fbc435f1c6f69b3c1f2b87b729623ef971a960979dca367f295cb10d19c9125efb758b8055fae7b
23
24 diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild
25 deleted file mode 100644
26 index 9bc165ce4a0..00000000000
27 --- a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0_beta1.ebuild
28 +++ /dev/null
29 @@ -1,30 +0,0 @@
30 -# Copyright 1999-2017 Gentoo Foundation
31 -# Distributed under the terms of the GNU General Public License v2
32 -
33 -EAPI=6
34 -
35 -inherit findlib
36 -
37 -MY_PV=${PV/_/}
38 -MY_P=${PN}-${MY_PV}
39 -
40 -DESCRIPTION="Tools for authors of ppx rewriters"
41 -HOMEPAGE="https://github.com/let-def/ppx_tools_versioned"
42 -SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz -> ${MY_P}.tar.gz"
43 -
44 -LICENSE="MIT"
45 -SLOT="0/${PV}"
46 -KEYWORDS="~amd64"
47 -IUSE=""
48 -
49 -DEPEND="
50 - dev-lang/ocaml:=
51 - dev-ml/ocaml-migrate-parsetree:=
52 -"
53 -RDEPEND="${DEPEND}"
54 -S="${WORKDIR}/${MY_P}"
55 -
56 -src_install() {
57 - findlib_src_install
58 - dodoc README.md
59 -}