diff options
-rw-r--r-- | dev-ml/ppx_enumerate/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ppx_enumerate/ppx_enumerate-0.9.0.ebuild | 25 |
2 files changed, 0 insertions, 26 deletions
diff --git a/dev-ml/ppx_enumerate/Manifest b/dev-ml/ppx_enumerate/Manifest index 8b8b6de65a95..b08cf945d6a1 100644 --- a/dev-ml/ppx_enumerate/Manifest +++ b/dev-ml/ppx_enumerate/Manifest @@ -1,2 +1 @@ DIST ppx_enumerate-0.14.0.tar.gz 9487 BLAKE2B 7f87a1c9c2ae0b365b5fdc44b906ef5330e28586aea741ca51dcddd8b0cf591e28f59e21d4050078c42072b96a96e5c6430d5ade4334d49aeec142db058ee3fc SHA512 d7f61ba792af81395c76e51bcb81b467ae4b67fdc3022d2e55ab0682bb4710e9a96852457721567a9f13606bd4290dbac8fd34421b0dffbabdd9debd1268ecc5 -DIST ppx_enumerate-0.9.0.tar.gz 10967 BLAKE2B a5e742c5009c16d07cb23d7fba8cd4d41cd3f2ec543f47fce65c3731bb81b140a601ec492c0f5f8a5a62c2ac64f41a8093a7e5c96b251ad3b85944aab19c167c SHA512 46e979528af75313fcbfee4d1437156ded90d46f7608271a77ad41bb7e087e2ea4f61f534624b23679c4edf812d2fcfe26b9b634c3fcb691e2da2388ae04950c diff --git a/dev-ml/ppx_enumerate/ppx_enumerate-0.9.0.ebuild b/dev-ml/ppx_enumerate/ppx_enumerate-0.9.0.ebuild deleted file mode 100644 index 45aac67b0624..000000000000 --- a/dev-ml/ppx_enumerate/ppx_enumerate-0.9.0.ebuild +++ /dev/null @@ -1,25 +0,0 @@ -# Copyright 1999-2018 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Generate a list containing all values of a finite type" -HOMEPAGE="https://github.com/janestreet/ppx_enumerate" -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_core:= - dev-ml/ppx_driver:= - dev-ml/ppx_metaquot:= - dev-ml/ppx_type_conv:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |