diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-15 03:11:29 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-03-15 04:01:46 +0000 |
| commit | 5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3 (patch) | |
| tree | 2dcc3cb8389bccf5d88280ddc0c2ddffa3a8effb /dev-ml/ppx_tools_versioned | |
| parent | dev-ml/zarith: drop 1.7, 1.9.1, 1.10 (diff) | |
| download | gentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.tar.gz gentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.tar.bz2 gentoo-5f83bf5c0862a729f58bdd1511c136ebf9d6fcc3.zip | |
dev-ml/ppx_tools_versioned: drop 5.0.1
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_tools_versioned')
| -rw-r--r-- | dev-ml/ppx_tools_versioned/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.0.1.ebuild | 30 |
2 files changed, 0 insertions, 31 deletions
diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest index 2b4692af4cb8..40da2fefa2e5 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 ec7f405d4dfe..000000000000 --- 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 -} |