diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-haskell/lazysmallcheck | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-haskell/lazysmallcheck')
-rw-r--r-- | dev-haskell/lazysmallcheck/Manifest | 3 | ||||
-rw-r--r-- | dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild | 20 | ||||
-rw-r--r-- | dev-haskell/lazysmallcheck/metadata.xml | 17 |
3 files changed, 40 insertions, 0 deletions
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> |