summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-10-07 13:16:48 +0200
committerAlexis Ballier <aballier@gentoo.org>2016-10-07 13:16:48 +0200
commit552272f51164ddd25e7885556180e82c20fab7d2 (patch)
tree0858eb4cb0bf6fa585c0b654a8d215a672cc1079 /dev-ml
parentprofiles/updates: move dev-ml/qcheck to dev-ml/iTeML. (diff)
downloadgentoo-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/Manifest1
-rw-r--r--dev-ml/qcheck/metadata.xml23
-rw-r--r--dev-ml/qcheck/qcheck-0.4.0.1.ebuild32
3 files changed, 0 insertions, 56 deletions
diff --git a/dev-ml/qcheck/Manifest b/dev-ml/qcheck/Manifest
deleted file mode 100644
index 9dba71e6fe3..00000000000
--- 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 54a420da00e..00000000000
--- 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 30bdabd3221..00000000000
--- 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 )