From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Sat, 14 Jul 2018 21:03:06 +0100
Subject: gentoo resync : 14.07.2018

---
 dev-haskell/lazysmallcheck/Manifest                  |  3 +++
 dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild | 20 ++++++++++++++++++++
 dev-haskell/lazysmallcheck/metadata.xml              | 17 +++++++++++++++++
 3 files changed, 40 insertions(+)
 create mode 100644 dev-haskell/lazysmallcheck/Manifest
 create mode 100644 dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild
 create mode 100644 dev-haskell/lazysmallcheck/metadata.xml

(limited to 'dev-haskell/lazysmallcheck')

diff --git a/dev-haskell/lazysmallcheck/Manifest b/dev-haskell/lazysmallcheck/Manifest
new file mode 100644
index 000000000000..28f8aca407d6
--- /dev/null
+++ b/dev-haskell/lazysmallcheck/Manifest
@@ -0,0 +1,3 @@
+DIST lazysmallcheck-0.6.tar.gz 16862 BLAKE2B 8099de24e51e19106da50d30e370ea71fea42da2d25641b7887d06e57a341ae10f5b440b7431ab50beffba97f9fc22cc517f7a1e8f12be4341769559ead19348 SHA512 cd9e7d53686587828b5be892bacbd902b4e916d01e65c56d7634717c00353f9d0b81f92fcae9fab5008361dc7257da50a1429568f8265136883d4cca942f954d
+EBUILD lazysmallcheck-0.6.ebuild 542 BLAKE2B ec4d38134d096bf51a22f741c0c9efd61dad2823c8a830f6b40b630b31494194343222e5adce9669e378892b35be41009b44b62d681e00b88bf6d67de93ffb3e SHA512 aa4110ab22f0214f656b4c78156744ef6923c680e8eeeddb4d187d459a20ec3a93b00165ba69f033bc585659e588967532e42d1a5381b8be8ae627c15c8f9501
+MISC metadata.xml 720 BLAKE2B 1282f2856d8a2425a2bbde2fdc80a614ca805f54154cb84f869e7a4803de3af4f01ada0f4ea4464bb8670c4cfeb3910993c55fd19d92c7026cd61e9296bdbd94 SHA512 14241f31672c4e24c60880919b2191da3daafdc2fecb7cc0d841ac32fe4a14d9695fadc05b43ade6f80890f65486412314308bf21689df93c7b8e0d0372bc71a
diff --git a/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild b/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild
new file mode 100644
index 000000000000..98273cf4345f
--- /dev/null
+++ b/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild
@@ -0,0 +1,20 @@
+# Copyright 1999-2012 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=4
+
+CABAL_FEATURES="lib profile haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="A library for demand-driven testing of Haskell programs"
+HOMEPAGE="http://www.cs.york.ac.uk/~mfn/lazysmallcheck/"
+SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0"
+KEYWORDS="alpha ~amd64 ia64 ppc ~ppc64 sparc ~x86"
+IUSE=""
+
+RDEPEND=">=dev-lang/ghc-6.8.2"
+DEPEND="${RDEPEND}
+		dev-haskell/cabal"
diff --git a/dev-haskell/lazysmallcheck/metadata.xml b/dev-haskell/lazysmallcheck/metadata.xml
new file mode 100644
index 000000000000..d8237d1cb4bc
--- /dev/null
+++ b/dev-haskell/lazysmallcheck/metadata.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>haskell@gentoo.org</email>
+		<name>Gentoo Haskell</name>
+	</maintainer>
+	<longdescription>
+		Lazy SmallCheck is a library for exhaustive, demand-driven testing of
+		Haskell programs.  It is based on the idea that if a property holds
+		for a partially-defined input then it must also hold for all
+		fully-defined refinements of the that input.  Compared to ``eager''
+		input generation as in SmallCheck, Lazy SmallCheck may require
+		significantly fewer test-cases to verify a property for all inputs up
+		to a given depth.
+	</longdescription>
+</pkgmetadata>
-- 
cgit v1.2.3