summaryrefslogtreecommitdiff
path: root/dev-ml/qcheck/qcheck-0.7.ebuild
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/qcheck/qcheck-0.7.ebuild')
-rw-r--r--dev-ml/qcheck/qcheck-0.7.ebuild23
1 files changed, 0 insertions, 23 deletions
diff --git a/dev-ml/qcheck/qcheck-0.7.ebuild b/dev-ml/qcheck/qcheck-0.7.ebuild
deleted file mode 100644
index 63578ec22400..000000000000
--- a/dev-ml/qcheck/qcheck-0.7.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-OASIS_BUILD_TESTS=1
-OASIS_BUILD_DOCS=1
-
-inherit oasis
-
-DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
-HOMEPAGE="https://github.com/c-cube/qcheck/"
-SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"