summaryrefslogtreecommitdiff
path: root/dev-ml
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
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')
-rw-r--r--dev-ml/qcheck/Manifest3
-rw-r--r--dev-ml/qcheck/qcheck-0.5.2.ebuild20
-rw-r--r--dev-ml/qcheck/qcheck-0.5.3.1.ebuild23
-rw-r--r--dev-ml/qcheck/qcheck-0.5.3.ebuild23
4 files changed, 0 insertions, 69 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
index 5def6263bba9..7a43c4ed076d 100644
--- a/dev-ml/qcheck/Manifest
+++ b/dev-ml/qcheck/Manifest
@@ -1,4 +1 @@
-DIST qcheck-0.5.2.tar.gz 154637 SHA256 4ec34a0b3a241d41f9af2d7f4fb3947dba3646856b8db252c66c7380d7f3e316 SHA512 35350914bb37f677b029293922fcc6cd9dfb2e6871665dfaace17c61f468c9dd052870d62b0cdb80912430142f80625b89c615dbd7e572c0dce5754217900883 WHIRLPOOL 3b7f8a51335bdad443ca65f690ce39e9cd9e9c2c8cf14c52c9a836bab1fcda4bb26853f6703a4c58e08e0ff3690816683bd880a18f753607fb5df2d55c00b12a
-DIST qcheck-0.5.3.1.tar.gz 212613 SHA256 46c1d1cab40e85b07eed1ff5a4b0ae3c6bfa62ad8d8d4d4af13986c5cabb41ff SHA512 7c13923b39be2de04a11bca9e7bb91da81319113a601af0939a54835c0b6021d1b21f36211eb5755faa46f84dc7c04d857e775b8dd57c97b056152a85e07c113 WHIRLPOOL 63b0724bad0e6dfbac7b4b1425b2b8a136c5eb4d778770c0b8101513a090b2c3f0f0d9f42d8e12718bcf611e5433de074400a7c4f5f9d8930806570321ac7413
-DIST qcheck-0.5.3.tar.gz 179444 SHA256 297afc9a68d1873ea4bfbd74da42df9e69b368712f3ba81ab135b6c8761967ac SHA512 ede60f87b4cdf63e123aa7f2b9c8370d8538077eaea41e32439610bebdd990d539dc54db8a41c94b506a8a18235636031a49b1985dd1c4e05ae13509d27a1290 WHIRLPOOL befffb59bcef9253a7625caccf85546d3db968397e9e934c4ab557c22ad67c72a11a1d0dddaafca66ca665f717b6a6782a8dd624b788b1602f2d9f63acad27ea
DIST qcheck-0.6.tar.gz 255625 SHA256 0293b859ae67a2ec58735331c73ac157b5bad380da8538181418410175a8391b SHA512 e4298f00c49febe36ae64f287e032081bb2d7713d9412db95441d6b84fb3030f45d07519369ba00be81615a737dc45a246d609772b318084a2b2a28e77e05e1c WHIRLPOOL ca120e08c01c02a8aaf8ecba534db7616b6c0dd255191d72d2c2b989157822f2be6a891f02267cc378d9a0beaee28ace3a2696d29dfd57db45268182e4e8c9ef
diff --git a/dev-ml/qcheck/qcheck-0.5.2.ebuild b/dev-ml/qcheck/qcheck-0.5.2.ebuild
deleted file mode 100644
index 6e4a555b5ae1..000000000000
--- a/dev-ml/qcheck/qcheck-0.5.2.ebuild
+++ /dev/null
@@ -1,20 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-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"
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"
diff --git a/dev-ml/qcheck/qcheck-0.5.3.ebuild b/dev-ml/qcheck/qcheck-0.5.3.ebuild
deleted file mode 100644
index e74600712cf7..000000000000
--- a/dev-ml/qcheck/qcheck-0.5.3.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"