diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-22 04:14:04 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-04-04 06:09:29 +0000 |
| commit | e320bd5c27821bff047f57f2af1d6d5af31eaaef (patch) | |
| tree | 8f543c32b89226ab3879eabc362607063bea63d9 /dev-ml | |
| parent | dev-ml/ppx_core: treeclean (diff) | |
| download | gentoo-e320bd5c27821bff047f57f2af1d6d5af31eaaef.tar.gz gentoo-e320bd5c27821bff047f57f2af1d6d5af31eaaef.tar.bz2 gentoo-e320bd5c27821bff047f57f2af1d6d5af31eaaef.zip | |
dev-ml/ppx_ast: treeclean
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/ppx_ast/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_ast/metadata.xml | 8 | ||||
| -rw-r--r-- | dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild | 23 |
3 files changed, 0 insertions, 32 deletions
diff --git a/dev-ml/ppx_ast/Manifest b/dev-ml/ppx_ast/Manifest deleted file mode 100644 index b94f512fbde7..000000000000 --- a/dev-ml/ppx_ast/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST ppx_ast-0.9.1.tar.gz 86802 BLAKE2B 5974cbea0b2566e83d8fb4192aa7e7f802aa7b6fa02b8f638ea12ac5c617fdca1f4426e0ee3fc761c46fe0ddf2e26d4ed402eb8c21fd84ce513a60996047ca28 SHA512 4a5a9fb47282877763ecf9638e67bcd1b57110c1acfcf446703ed335b9fa5aaa1521c55a75fce6025f91e715f9c4522b695444dde4d3ffa7feed79560e399ad7 diff --git a/dev-ml/ppx_ast/metadata.xml b/dev-ml/ppx_ast/metadata.xml deleted file mode 100644 index 7479fbd4c5c4..000000000000 --- a/dev-ml/ppx_ast/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">janestreet/ppx_ast</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild b/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild deleted file mode 100644 index acc14d99d440..000000000000 --- a/dev-ml/ppx_ast/ppx_ast-0.9.1.ebuild +++ /dev/null @@ -1,23 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="AST used in Jane Street ppx rewriters" -HOMEPAGE="https://github.com/janestreet/ppx_ast" -SRC_URI="https://github.com/janestreet/ppx_ast/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc ~x86" -IUSE="" - -DEPEND=" - dev-ml/ocaml-compiler-libs:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${RDEPEND} - dev-ml/jbuilder" |