diff options
Diffstat (limited to 'dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild')
| -rw-r--r-- | dev-ml/ppx_derivers/ppx_derivers-1.0.ebuild | 19 |
1 files changed, 0 insertions, 19 deletions
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" |