diff options
Diffstat (limited to 'dev-ml/ppx_compare')
| -rw-r--r-- | dev-ml/ppx_compare/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild | 27 |
2 files changed, 0 insertions, 28 deletions
diff --git a/dev-ml/ppx_compare/Manifest b/dev-ml/ppx_compare/Manifest index 22f6d98ca857..1d88ba4dd73d 100644 --- a/dev-ml/ppx_compare/Manifest +++ b/dev-ml/ppx_compare/Manifest @@ -1,2 +1 @@ DIST ppx_compare-0.14.0.tar.gz 13614 BLAKE2B 081e91192f987095a773964b56838b05fb18ea23599eeeb28d297ac81ff7439067ffa0941cf4d64921abad68f9dca90560463b9f059f35ed3147333ba697a88c SHA512 be02c8114e0915439c04b3d796029ad124e9a2e637032d6a86a41c03b81985cb0f68f65bc43c1d12221b521f6fa10006a105b3ffe95e991ed9695692fd0763cb -DIST ppx_compare-0.9.0.tar.gz 11760 BLAKE2B 8db18a56185371e56addddeac4ec94e1260f06edc7dbc835efcf2f6788f42c36746858fd96e7fc94aaaf52b118a95581388276b90d8d489a9f4707af2c157811 SHA512 4f154bb67c2241712986247f8b3ed04b4ba874424171989f0421193a15cea45dedbf1c546408421bf33839ea45b85a45ec1cb43c034373fd80198ddb5d9045fe diff --git a/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild b/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild deleted file mode 100644 index 078afb1a0109..000000000000 --- a/dev-ml/ppx_compare/ppx_compare-0.9.0-r1.ebuild +++ /dev/null @@ -1,27 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Generation of comparison functions from types" -HOMEPAGE="https://github.com/janestreet/ppx_compare" -SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~ppc ~x86" -IUSE="" - -DEPEND=" - dev-ml/ppx_driver:= - dev-ml/ppx_type_conv:= - dev-ml/ppx_core:= - dev-ml/base:= - dev-ml/ocaml-migrate-parsetree:= - dev-ml/ppx_metaquot:= -" - -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |