summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-08-22 09:00:48 +0200
committerAlexis Ballier <aballier@gentoo.org>2017-08-22 09:00:48 +0200
commit6e1907dfac041b6a86cbcaafbf8b9420263caa8c (patch)
tree0fe2a453a31ab86501aaccaf96bbb5cccfffdae0 /dev-ml/qcheck/qcheck-0.5.3.1.ebuild
parentsys-libs/libblockdev: Fixed REQUIRED_USE. (diff)
downloadgentoo-6e1907dfac041b6a86cbcaafbf8b9420263caa8c.tar.gz
gentoo-6e1907dfac041b6a86cbcaafbf8b9420263caa8c.tar.bz2
gentoo-6e1907dfac041b6a86cbcaafbf8b9420263caa8c.zip
dev-ml/qcheck: Remove old
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-ml/qcheck/qcheck-0.5.3.1.ebuild')
-rw-r--r--dev-ml/qcheck/qcheck-0.5.3.1.ebuild23
1 files changed, 0 insertions, 23 deletions
diff --git a/dev-ml/qcheck/qcheck-0.5.3.1.ebuild b/dev-ml/qcheck/qcheck-0.5.3.1.ebuild
deleted file mode 100644
index e74600712cf7..000000000000
--- a/dev-ml/qcheck/qcheck-0.5.3.1.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="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-RDEPEND="dev-ml/ounit:=
- !<dev-ml/iTeML-2.5"
-DEPEND="${RDEPEND}
- dev-ml/ocamlbuild"