summaryrefslogtreecommitdiff
path: root/dev-ml/ppxfind
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppxfind')
-rw-r--r--dev-ml/ppxfind/Manifest3
-rw-r--r--dev-ml/ppxfind/metadata.xml15
-rw-r--r--dev-ml/ppxfind/ppxfind-1.4.ebuild21
3 files changed, 0 insertions, 39 deletions
diff --git a/dev-ml/ppxfind/Manifest b/dev-ml/ppxfind/Manifest
deleted file mode 100644
index 717a087b5435..000000000000
--- a/dev-ml/ppxfind/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST ppxfind-1.4.tbz 4083 BLAKE2B 3661827c897a74af21f0d10c9435b74845fc4832cb1b50a510fdf7c33cd877faee5ddcb8307c65903a4692fcb58ca264e0c0b44433a34a59a12f8eb2917e12e9 SHA512 f80b0ee09fb536aa9f154da80d06a1b68ba3b10605fb7338bd6449beb5c8d00e983bf66b4a63e12659ae1410fea56d0a2c4cfd43584616438504628035bcb981
-EBUILD ppxfind-1.4.ebuild 463 BLAKE2B 9f1b416fd01c6621dd0b56642f6ad9713e34a1697472e01769cbcd2c5bcc11b5040ae34c819a1231750e2398c8cd2f6a9e0f9526556414f58d9ae88fdd32c3fc SHA512 4f87f4d8cb90357d95492386a05e2fe710426fafe0abfb304d53969333c863dd59fe204cde6a700bcbdb165b5be0e4d63be19c289729946a3ecf0c77a33d6436
-MISC metadata.xml 415 BLAKE2B 22236aa2a77c6b76037d8dda103ac7ad700e7d45f9b2251ddbe79e94e0d78ebe94f88ed2ac50a452584675eb2e2a424cbe0a2a251199498689d11c9b4f70a837 SHA512 cbf1dc85338df76b4341172fcded00ff727fb08590dbb05e5d53cb529f22290d2a4d07c385a6a0f2aaa34efdec63c638e8f3ca60332f1f7b2a51d5570aac7d96
diff --git a/dev-ml/ppxfind/metadata.xml b/dev-ml/ppxfind/metadata.xml
deleted file mode 100644
index 8eb95a3e7a89..000000000000
--- a/dev-ml/ppxfind/metadata.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>ML</name>
- </maintainer>
- <maintainer type="person">
- <email>gienah@gentoo.org</email>
- <name>Mark Wright</name>
- </maintainer>
- <upstream>
- <remote-id type="github">diml/ppxfind</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/ppxfind/ppxfind-1.4.ebuild b/dev-ml/ppxfind/ppxfind-1.4.ebuild
deleted file mode 100644
index b964ae76cb11..000000000000
--- a/dev-ml/ppxfind/ppxfind-1.4.ebuild
+++ /dev/null
@@ -1,21 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit dune
-
-DESCRIPTION="ocamlfind ppx tool"
-HOMEPAGE="https://github.com/diml/ppxfind"
-SRC_URI="https://github.com/diml/ppxfind/releases/download/${PV}/${P}.tbz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
-IUSE="+ocamlopt"
-
-DEPEND="
- <=dev-ml/ocaml-migrate-parsetree-1.80:=
- dev-ml/findlib:=
-"
-RDEPEND="${DEPEND}"