diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2021-11-14 14:54:04 +0100 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2021-11-14 14:58:48 +0100 |
| commit | 9ee9e73f5c6c904015d81e12ccf6d18d9208c570 (patch) | |
| tree | 7961bf4711284328debd5b6a67ad2f98a6a75e1a /dev-ml | |
| parent | dev-libs/level-zero: bump to version 1.6.2 (diff) | |
| download | gentoo-9ee9e73f5c6c904015d81e12ccf6d18d9208c570.tar.gz gentoo-9ee9e73f5c6c904015d81e12ccf6d18d9208c570.tar.bz2 gentoo-9ee9e73f5c6c904015d81e12ccf6d18d9208c570.zip | |
dev-ml/ppx_tools_versioned: treeclean
Closes: https://bugs.gentoo.org/767196
Closes: https://bugs.gentoo.org/771756
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_tools_versioned/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_tools_versioned/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/ppx_tools_versioned/ppx_tools_versioned-5.4.0.ebuild | 25 |
3 files changed, 0 insertions, 34 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}" |