diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 18:31:43 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-18 18:31:43 +0000 |
| commit | cd0d9000770337b445051f1852fe3971ceb7a6e2 (patch) | |
| tree | 49c82dbb14c2d960e04e7482bdefe6ed2d53a173 /dev-ml/ppxfind | |
| parent | 12c505f7fcc9ddc89e96ed178df05aceec162d92 (diff) | |
gentoo auto-resync : 18:03:2023 - 18:31:42
Diffstat (limited to 'dev-ml/ppxfind')
| -rw-r--r-- | dev-ml/ppxfind/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/ppxfind/metadata.xml | 15 | ||||
| -rw-r--r-- | dev-ml/ppxfind/ppxfind-1.4.ebuild | 21 |
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}" |