commit: 552272f51164ddd25e7885556180e82c20fab7d2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> AuthorDate: Fri Oct 7 11:16:48 2016 +0000 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> CommitDate: Fri Oct 7 11:16:48 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=552272f5
dev-ml/qcheck: remove, superseded by iteml dev-ml/qcheck/Manifest | 1 - dev-ml/qcheck/metadata.xml | 23 ----------------------- dev-ml/qcheck/qcheck-0.4.0.1.ebuild | 32 -------------------------------- 3 files changed, 56 deletions(-) diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest deleted file mode 100644 index 9dba71e..00000000 --- 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 54a420d..00000000 --- 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>tombo...@sina.cn</email> - <name>M.B.</name> - <description>Maintainer, assign bugs to him</description> - </maintainer> - <maintainer type="project"> - <email>m...@gentoo.org</email> - <name>Gentoo ML Project</name> - </maintainer> - <maintainer type="project"> - <email>proxy-ma...@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 30bdabd..00000000 --- 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 )
