From 1798c4aeca70ac8d0a243684d6a798fbc65735f8 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 20:57:42 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-ml/ppx_here/ppx_here-0.9.1.ebuild | 24 ------------------------
 1 file changed, 24 deletions(-)
 delete mode 100644 dev-ml/ppx_here/ppx_here-0.9.1.ebuild

(limited to 'dev-ml/ppx_here/ppx_here-0.9.1.ebuild')

diff --git a/dev-ml/ppx_here/ppx_here-0.9.1.ebuild b/dev-ml/ppx_here/ppx_here-0.9.1.ebuild
deleted file mode 100644
index 972fc65d0d4b..000000000000
--- a/dev-ml/ppx_here/ppx_here-0.9.1.ebuild
+++ /dev/null
@@ -1,24 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Expands [%here] into its location"
-HOMEPAGE="https://github.com/janestreet/ppx_here"
-SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="Apache-2.0"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-DEPEND="
-	dev-ml/ppx_core:=
-	dev-ml/ppx_driver:=
-	dev-ml/ppx_optcomp:=
-	dev-ml/ocaml-migrate-parsetree:=
-"
-RDEPEND="${DEPEND}"
-DEPEND="${RDEPEND} dev-ml/jbuilder"
-- 
cgit v1.2.3