diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-09-13 10:04:19 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-09-13 10:04:19 +0000 |
| commit | c80679a732f7b0ae6658168a044ca822e5f8ff33 (patch) | |
| tree | 514d16d5b253b0846fff2d2bc9c2776f5f2f5959 /dev-haskell/smallcheck | |
| parent | Add logict (diff) | |
| download | historical-c80679a732f7b0ae6658168a044ca822e5f8ff33.tar.gz historical-c80679a732f7b0ae6658168a044ca822e5f8ff33.tar.bz2 historical-c80679a732f7b0ae6658168a044ca822e5f8ff33.zip | |
Add smallcheck
Package-Manager: portage-2.2.4/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'dev-haskell/smallcheck')
| -rw-r--r-- | dev-haskell/smallcheck/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-haskell/smallcheck/Manifest | 14 | ||||
| -rw-r--r-- | dev-haskell/smallcheck/metadata.xml | 14 | ||||
| -rw-r--r-- | dev-haskell/smallcheck/smallcheck-1.0.4.ebuild | 25 |
4 files changed, 62 insertions, 0 deletions
diff --git a/dev-haskell/smallcheck/ChangeLog b/dev-haskell/smallcheck/ChangeLog new file mode 100644 index 000000000000..dd2815fa6cc9 --- /dev/null +++ b/dev-haskell/smallcheck/ChangeLog @@ -0,0 +1,9 @@ +# ChangeLog for dev-haskell/smallcheck +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/smallcheck/ChangeLog,v 1.1 2013/09/13 10:04:09 gienah Exp $ + +*smallcheck-1.0.4 (13 Sep 2013) + + 13 Sep 2013; Mark Wright <gienah@gentoo.org> +metadata.xml, + +smallcheck-1.0.4.ebuild: + Add smallcheck diff --git a/dev-haskell/smallcheck/Manifest b/dev-haskell/smallcheck/Manifest new file mode 100644 index 000000000000..4c731c22854d --- /dev/null +++ b/dev-haskell/smallcheck/Manifest @@ -0,0 +1,14 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST smallcheck-1.0.4.tar.gz 14200 SHA256 fff411375b39e1806e8a342371bc4846e178891b5ab74e437c679a920fd71a7f SHA512 5184ed016acd0c3f5b6c067cbb1a935188f1818f20652fce8c2730e7deadb00fa2cd64b5b71613a3d252fe0571e77cdf51288244899c08eb63ff2b1880d2b1bf WHIRLPOOL e13b1e07fcbc730ceda34a0cf73869e3a661c0863c367bb61c771ace5ac406dc0c88e5950022efb26d3e3dd5b8f7027335bac10b599be1eb7a73d873108c2ca1 +EBUILD smallcheck-1.0.4.ebuild 746 SHA256 899a7befaa35d291981b00710fb5d31715bf02fa91f140a455139be5f3d4f3bf SHA512 c0e05d5e021bdd382d6af20fbb3ad9799530141cd1f95f73733d77a56d0ad061cadf5b3ef785a8d4e74e8a160799b8f0a9a972927a664dbe9a44143ea0191aeb WHIRLPOOL 3af8aeeb6198d88341adf11d1f4decd16b827182952b0cf92f2ba091fb3acb31e8a69ff6ae930ca93363c0de02488e81562af3c90528a924fc5eb2db3ba511b3 +MISC ChangeLog 357 SHA256 98b85f705b486a7d9fad238acee0581ee56da8acfc62d33855f017c94f0d5700 SHA512 def0d471b7400bc788aa7847a0526e608f0bb7f3ca7fbdfe82079450ddf634e776137dc736d1526f987a973d7b5a78f5cac92a74af2ace44883ef379c6f6f01a WHIRLPOOL 4635f2ac16d017e5f226d60d389ea1138f9d84d402c4300be3616d3102b41ca3538daedfba242190dc8b3d23d87d9b3b081ef8afef1824a91882b174b8c4f3ef +MISC metadata.xml 523 SHA256 55f76216ecbbbcf46f1bd754563031dd677f8a3c26288e9b62882a190f77efc2 SHA512 94bd3e6d4947ee47bd18d63836cb954487647c1e94423758151460eb11e12ae78d8ef879e73a67d378ef6465e6835897aeeea7ab34e7af77ab79de88919683b1 WHIRLPOOL 3eedc98992f9e0a1b6ae413c360c0816ed247cc2f773894a0e6d88e238ea236052e469cc0752eddd9824712d3ee0aea37173573e9fea5bb89ea951af3e7c514d +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.20 (GNU/Linux) + +iF4EAREIAAYFAlIy4okACgkQoBEVQmGOlx9nAwD/SxTTAfhq5xa3k+m9EFv1RdVl +Tut3PgE9ZJy2Eeq6OgEA/0wwB6LYfEAUGNS/DEraJkXvxxs457UBhX/fNCzMcJZ1 +=/5jF +-----END PGP SIGNATURE----- diff --git a/dev-haskell/smallcheck/metadata.xml b/dev-haskell/smallcheck/metadata.xml new file mode 100644 index 000000000000..9fda9b5941a3 --- /dev/null +++ b/dev-haskell/smallcheck/metadata.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>haskell</herd> + <maintainer> + <email>haskell@gentoo.org</email> + </maintainer> + <longdescription> + SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but + instead of testing for a sample of randomly generated values, SmallCheck + tests properties for all the finitely many values up to some depth, + progressively increasing the depth used. + </longdescription> +</pkgmetadata> diff --git a/dev-haskell/smallcheck/smallcheck-1.0.4.ebuild b/dev-haskell/smallcheck/smallcheck-1.0.4.ebuild new file mode 100644 index 000000000000..d80643d628eb --- /dev/null +++ b/dev-haskell/smallcheck/smallcheck-1.0.4.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2013 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/smallcheck/smallcheck-1.0.4.ebuild,v 1.1 2013/09/13 10:04:09 gienah Exp $ + +EAPI=5 + +# ebuild generated by hackport 0.3.2.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="A property-based testing library" +HOMEPAGE="https://github.com/feuerbach/smallcheck" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~ppc64 ~sparc ~x86" +IUSE="" + +RDEPEND="dev-haskell/logict:=[profile?] + dev-haskell/mtl:=[profile?] + >=dev-lang/ghc-6.12.1:=" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.6" |