diff options
-rw-r--r-- | dev-ml/ppx_sexp_value/Manifest | 1 | ||||
-rw-r--r-- | dev-ml/ppx_sexp_value/ppx_sexp_value-0.9.0.ebuild | 27 |
2 files changed, 0 insertions, 28 deletions
diff --git a/dev-ml/ppx_sexp_value/Manifest b/dev-ml/ppx_sexp_value/Manifest index fa80fbff385e..fcec929450bf 100644 --- a/dev-ml/ppx_sexp_value/Manifest +++ b/dev-ml/ppx_sexp_value/Manifest @@ -1,2 +1 @@ DIST ppx_sexp_value-0.14.0.tar.gz 7740 BLAKE2B f495d0b9032a73cd6a62292185e77cfe6206bb06564e663c04a20c9430dd4188da529bef6428a7a07309109ec7fc51d3909ac58d5760c1fab618f59eee8a6b63 SHA512 d33ed503025e07588a21ca6796004dd53ddfb9f67f3527d066c4767734fb8723d0a9d31082d285ba82996d8b69faecb624f116046ea8048637f05773ee3e89a8 -DIST ppx_sexp_value-0.9.0.tar.gz 10666 BLAKE2B db3f3bc626b00dd6bf6c1ab1afedfd581ec48689307c1ad52767b0aa64d5c36a10556b37ac3e2e2fecf1eb5230ab1e049f458ff3c8c039cf789146f1458dbf2a SHA512 7dcb8f70a7938d26fc5a1afea2bf5e77c4996d8e82720206ab9e5a462a59182dcedfbfede49ed83ed50f2683776b75fb5bae00c53fc451b03f6a33e126566e84 diff --git a/dev-ml/ppx_sexp_value/ppx_sexp_value-0.9.0.ebuild b/dev-ml/ppx_sexp_value/ppx_sexp_value-0.9.0.ebuild deleted file mode 100644 index 5418fe3f3637..000000000000 --- a/dev-ml/ppx_sexp_value/ppx_sexp_value-0.9.0.ebuild +++ /dev/null @@ -1,27 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Standard library for ppx rewriters" -HOMEPAGE="https://github.com/janestreet/ppx_sexp_value" -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_here:= - dev-ml/ppx_metaquot:= - dev-ml/ppx_sexp_conv:= - dev-ml/sexplib:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} dev-ml/jbuilder" |