From 7218e1b46bceac05841e90472501742d905fb3fc Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Fri, 12 Mar 2021 21:55:15 +0000
Subject: gentoo resync : 12.03.2021

---
 dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild

(limited to 'dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild')

diff --git a/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild b/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild
deleted file mode 100644
index b991aaed688e..000000000000
--- a/dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild
+++ /dev/null
@@ -1,19 +0,0 @@
-# Copyright 1999-2018 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Shared [@@deriving] plugin registry"
-HOMEPAGE="https://github.com/diml/ppx_derivers"
-SRC_URI="https://github.com/diml/ppx_derivers/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~ppc ~x86"
-IUSE=""
-
-RDEPEND=""
-DEPEND="${RDEPEND}
-	dev-ml/jbuilder"
-- 
cgit v1.2.3