diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-10-07 13:16:48 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-10-07 13:16:48 +0200 |
| commit | 552272f51164ddd25e7885556180e82c20fab7d2 (patch) | |
| tree | 0858eb4cb0bf6fa585c0b654a8d215a672cc1079 /dev-ml | |
| parent | profiles/updates: move dev-ml/qcheck to dev-ml/iTeML. (diff) | |
| download | gentoo-552272f51164ddd25e7885556180e82c20fab7d2.tar.gz gentoo-552272f51164ddd25e7885556180e82c20fab7d2.tar.bz2 gentoo-552272f51164ddd25e7885556180e82c20fab7d2.zip | |
dev-ml/qcheck: remove, superseded by iteml
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/qcheck/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/qcheck/metadata.xml | 23 | ||||
| -rw-r--r-- | dev-ml/qcheck/qcheck-0.4.0.1.ebuild | 32 |
3 files changed, 0 insertions, 56 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest deleted file mode 100644 index 9dba71e6fe3d..000000000000 --- a/dev-ml/qcheck/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST qcheck-0.4.0.1.tar.gz 55783 SHA256 4c90f4babc35ed9672b9a48d69c480812b030e7194c617614a8b2d11d023ad65 SHA512 9a8476749ee5d97708d3f074e3c948511231aef8a49029c8d284a9d1413f2f5bb3b6bd048ec0998e4e762171626613a81f9275224ad16900094e735f4c82f057 WHIRLPOOL be8dcef3e6b8761fac35df1c41b2adc49f8afeaf7d06c1ba92ebba7ce6ac4a7f0fab213e2360277c074051f5ac48cad0b45069a6a1b8b3b3a6edcac72b769e21 diff --git a/dev-ml/qcheck/metadata.xml b/dev-ml/qcheck/metadata.xml deleted file mode 100644 index 54a420da00e2..000000000000 --- a/dev-ml/qcheck/metadata.xml +++ /dev/null @@ -1,23 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>tomboy64@sina.cn</email> - <name>M.B.</name> - <description>Maintainer, assign bugs to him</description> - </maintainer> - <maintainer type="project"> - <email>ml@gentoo.org</email> - <name>Gentoo ML Project</name> - </maintainer> - <maintainer type="project"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <use> - <flag name="ounit">Enable integration with ounit</flag> - </use> - <upstream> - <remote-id type="github">c-cube/qcheck</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild b/dev-ml/qcheck/qcheck-0.4.0.1.ebuild deleted file mode 100644 index 30bdabd32212..000000000000 --- a/dev-ml/qcheck/qcheck-0.4.0.1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2015 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Id$ - -EAPI=5 -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/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD-2" -SLOT="0" -KEYWORDS="~amd64" -IUSE="+ounit" - -RDEPEND=" - ounit? ( >=dev-ml/ounit-2:= ) -" -DEPEND=" - ${RDEPEND} -" - -src_configure() { - oasis_configure_opts=" - $(use_enable ounit) - " oasis_src_configure -} - -DOCS=( CHANGELOG.md README.md ) |