commit: 9ee9e73f5c6c904015d81e12ccf6d18d9208c570 Author: Jakov Smolić <jsmolic <AT> gentoo <DOT> org> AuthorDate: Sun Nov 14 13:54:04 2021 +0000 Commit: Jakov Smolić <jsmolic <AT> gentoo <DOT> org> CommitDate: Sun Nov 14 13:58:48 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9ee9e73f
dev-ml/ppx_tools_versioned: treeclean Closes: https://bugs.gentoo.org/767196 Closes: https://bugs.gentoo.org/771756 Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org> dev-ml/ppx_tools_versioned/Manifest | 1 - dev-ml/ppx_tools_versioned/metadata.xml | 8 ------- .../ppx_tools_versioned-5.4.0.ebuild | 25 ---------------------- profiles/package.mask | 1 - 4 files changed, 35 deletions(-) diff --git a/dev-ml/ppx_tools_versioned/Manifest b/dev-ml/ppx_tools_versioned/Manifest deleted file mode 100644 index 314018a2a239..000000000000 --- a/dev-ml/ppx_tools_versioned/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST ppx_tools_versioned-5.4.0.tar.gz 91817 BLAKE2B 0de64bbc0e7626306389eb350119262e1b1dbf1c643a62d4b2363f06203567e719962fc64727de65aa204a488381f8e48bbbe1243e9908823cb242222162bc88 SHA512 7f0421dbb42b43acc4f7892ac1c4c0ac13bdc188400d308688c4548b228aaf8bd80a4e2294672b50c78ac61e3c8df148c98d16b59f48292f02be40e7fd9640a9 diff --git a/dev-ml/ppx_tools_versioned/metadata.xml b/dev-ml/ppx_tools_versioned/metadata.xml deleted file mode 100644 index 4644bdd631ff..000000000000 --- a/dev-ml/ppx_tools_versioned/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">let-def/ppx_tools_versioned</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild b/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild deleted file mode 100644 index 3fc8939ea917..000000000000 --- a/dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild +++ /dev/null @@ -1,25 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit dune - -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="+ocamlopt" - -# https://github.com/ocaml-ppx/ppx_tools_versioned/issues/28#issuecomment-694146771 -DEPEND=" - <dev-ml/ocaml-migrate-parsetree-2.0.0:= -" -RDEPEND="${DEPEND}" -S="${WORKDIR}/${MY_P}" diff --git a/profiles/package.mask b/profiles/package.mask index 95f2296aaa01..c43111daeeef 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -574,7 +574,6 @@ app-text/htmlc # Drop broken packages with no reverse dependencies # Removal on 2021-11-15. bug #817965, bug #771756, bug #767196 dev-ml/async_ssl -dev-ml/ppx_tools_versioned # Sam James <[email protected]> (2021-10-10) # Needs upstream build system fixes (currently in progress).
