diff options
| -rw-r--r-- | dev-ml/ppx_here/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/ppx_here/ppx_here-0.9.1.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/dev-ml/ppx_here/Manifest b/dev-ml/ppx_here/Manifest index b7dd9e94e82d..f7c330cd818f 100644 --- a/dev-ml/ppx_here/Manifest +++ b/dev-ml/ppx_here/Manifest @@ -1,2 +1 @@ DIST ppx_here-0.14.0.tar.gz 5005 BLAKE2B 1711ec047c85af76d2343895e54889fec6e9aa29d4d188e83ff9d9ee12cecf42e4ca968a97f341a818f87efc0cc6ccb7e26f025e8af2195c341cb57325aec62b SHA512 3386e9c727f93be86de1daee2e94c9b7a22bcb4bd0ef20bd2c40ac227723ac36c9ac04fd3e16121731227a9b5256898594e0f33860864edf6f15797b98b114da -DIST ppx_here-0.9.1.tar.gz 7225 BLAKE2B 7115c77477b2bab47febfafe55d422bef03c32502d9d0064c5633d6925faf1b3a8b580f2a0974edcf86613f9b2582b0067f3e08a4ca474333f7e15c2c7adb87d SHA512 ca21fb490a4d980616349850b781e4ee02c0eb8a27e8ef9d4092d15ee235ffc504dab1b2a3db44fc6a84fa6b2cdbd67c0c4adbc41fb094b7bb9d4f710193aaf2 diff --git a/dev-ml/ppx_here/ppx_here-0.9.1.ebuild b/dev-ml/ppx_here/ppx_here-0.9.1.ebuild deleted file mode 100644 index 972fc65d0d4b..000000000000 --- a/dev-ml/ppx_here/ppx_here-0.9.1.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit opam - -DESCRIPTION="Expands [%here] into its location" -HOMEPAGE="https://github.com/janestreet/ppx_here" -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_optcomp:= - dev-ml/ocaml-migrate-parsetree:= -" -RDEPEND="${DEPEND}" -DEPEND="${RDEPEND} dev-ml/jbuilder" |