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

[Sam James]

commit:     5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 15 03:11:29 2021 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Mar 15 04:01:46 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5f83bf5c

dev-ml/ppx_tools_versioned: drop 5.0.1

Signed-off-by: Sam James <sam <AT> gentoo.org>

 dev-ml/ppx_tools_versioned/Manifest                |  1 -
 .../ppx_tools_versioned-5.0.1.ebuild               | 30 ----------------------
 2 files changed, 31 deletions(-)

diff --git a/dev-ml/ppx_tools_versioned/Manifest 
b/dev-ml/ppx_tools_versioned/Manifest
index 2b4692af4cb..40da2fefa2e 100644
--- a/dev-ml/ppx_tools_versioned/Manifest
+++ b/dev-ml/ppx_tools_versioned/Manifest
@@ -1,3 +1,2 @@
-DIST ppx_tools_versioned-5.0.1.tar.gz 43741 BLAKE2B 
0ff7dc5a03265a7e9fea6bebe372cee993f35d2d2ec451d5f77a1c7de51f91526bf15817882ff93033b3fcd51014efa12841a92cedf243870a22790f00807e9e
 SHA512 
4d47f82c5a05f880dbb3d10caac6de705b9609c488d62be84eb1ebe22fa8c4e3716fad7c546035e955bd0e304d7940f23df090470f86c8d862b549b9db387acb
 DIST ppx_tools_versioned-5.2.2.tar.gz 60068 BLAKE2B 
0b965d2124852e8ea3c8f4187ef320a3054eab4f969bfd64f4bb647e1381cc6f571b74d5176a6da59003ada89982a63b605f45231fb0bbf4ebec7da959e76d1e
 SHA512 
68c168ebc01af46fe8766ad7e36cc778caabb97d8eb303db284d106450cb79974c2a640ce459e197630b9e84b02caa24b59c97c9a8d39ddadc7efc7284e42a70
 DIST ppx_tools_versioned-5.4.0.tar.gz 91817 BLAKE2B 
0de64bbc0e7626306389eb350119262e1b1dbf1c643a62d4b2363f06203567e719962fc64727de65aa204a488381f8e48bbbe1243e9908823cb242222162bc88
 SHA512 
7f0421dbb42b43acc4f7892ac1c4c0ac13bdc188400d308688c4548b228aaf8bd80a4e2294672b50c78ac61e3c8df148c98d16b59f48292f02be40e7fd9640a9

diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild 
b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild
deleted file mode 100644
index ec7f405d4df..00000000000
--- a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit findlib
-
-MY_PV=${PV/_/}
-MY_P=${PN}-${MY_PV}
-
-DESCRIPTION="Tools for authors of ppx rewriters"
-HOMEPAGE="https://github.com/let-def/ppx_tools_versioned";
-SRC_URI="https://github.com/let-def/ppx_tools_versioned/archive/${MY_PV}.tar.gz
 -> ${MY_P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~x86"
-IUSE=""
-
-DEPEND="
-       dev-lang/ocaml:=
-       dev-ml/ocaml-migrate-parsetree:=
-"
-RDEPEND="${DEPEND}"
-S="${WORKDIR}/${MY_P}"
-
-src_install() {
-       findlib_src_install
-       dodoc README.md
-}