summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dev-ml/ppx_assert/Manifest1
-rw-r--r--dev-ml/ppx_assert/ppx_assert-0.9.0.ebuild31
2 files changed, 0 insertions, 32 deletions
diff --git a/dev-ml/ppx_assert/Manifest b/dev-ml/ppx_assert/Manifest
index 6df7f4f0d9a9..29cfd1845baf 100644
--- a/dev-ml/ppx_assert/Manifest
+++ b/dev-ml/ppx_assert/Manifest
@@ -1,2 +1 @@
DIST ppx_assert-0.14.0.tar.gz 7239 BLAKE2B 730d1cceee88728291473e73120cc1ae19477927c8f5e20b1a455ab78e34c5917907a60e03ea7d2b898ccb99e42755f1ad918d7fa59ae64bac84fd8356af7647 SHA512 b8ae4a1f08e9110f0809f98d1e0126d50101db7c5b87aa166294aed29df420a079fd2c0797c2888718acd8cd4f2aaaa98f0c445e5fb1423325cc89801e7d52b1
-DIST ppx_assert-0.9.0.tar.gz 9419 BLAKE2B 7e6ea363182ce3f057e54ae54e2d7b3236d909a748c74ee79209d97de001bf1df1934bccc95bf93e674aedd5c5f5029748747242acb1246f1f08a02f8b9b6309 SHA512 4debf617f1b0244d306b65d72cbf04f4a820a8d9433180d462ff462d2bf6eb01643897cc35de75d435fedfa1bf8266263c0e73328f02b5c957a3423eb535925f
diff --git a/dev-ml/ppx_assert/ppx_assert-0.9.0.ebuild b/dev-ml/ppx_assert/ppx_assert-0.9.0.ebuild
deleted file mode 100644
index 342b0cf8e989..000000000000
--- a/dev-ml/ppx_assert/ppx_assert-0.9.0.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit opam
-
-DESCRIPTION="Assert-like extension nodes that raise useful errors on failure"
-HOMEPAGE="https://github.com/janestreet/ppx_assert"
-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/base:=
- dev-ml/ppx_compare:=
- dev-ml/ppx_core:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_here:=
- dev-ml/ppx_metaquot:=
- dev-ml/ppx_sexp_conv:=
- dev-ml/ppx_type_conv
- dev-ml/sexplib:=
- dev-ml/ocaml-migrate-parsetree:=
-"
-
-RDEPEND="${DEPEND}"
-DEPEND="${RDEPEND} dev-ml/jbuilder"