Archives
Archives
| From: | "Mark Wright (gienah)" <gienah@g.o> |
|---|---|
| To: | gentoo-commits@l.g.o |
| Subject: | [gentoo-commits] gentoo-x86 commit in dev-haskell/lazysmallcheck: metadata.xml lazysmallcheck-0.6.ebuild ChangeLog |
| Date: | Sat, 02 Jun 2012 07:05:51 |
| Message-Id: | 20120602070541.B50BF2004B@flycatcher.gentoo.org |
| 1 | gienah 12/06/02 07:05:41 |
| 2 | |
| 3 | Added: metadata.xml lazysmallcheck-0.6.ebuild ChangeLog |
| 4 | Log: |
| 5 | Add lazysmallcheck |
| 6 | |
| 7 | (Portage version: 2.1.10.63/cvs/Linux x86_64) |
| 8 | |
| 9 | Revision Changes Path |
| 10 | 1.1 dev-haskell/lazysmallcheck/metadata.xml |
| 11 | |
| 12 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/metadata.xml?rev=1.1&view=markup |
| 13 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/metadata.xml?rev=1.1&content-type=text/plain |
| 14 | |
| 15 | Index: metadata.xml |
| 16 | =================================================================== |
| 17 | <?xml version="1.0" encoding="UTF-8"?> |
| 18 | <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
| 19 | <pkgmetadata> |
| 20 | <herd>haskell</herd> |
| 21 | <maintainer> |
| 22 | <email>haskell@g.o</email> |
| 23 | </maintainer> |
| 24 | <longdescription> |
| 25 | Lazy SmallCheck is a library for exhaustive, demand-driven testing of |
| 26 | Haskell programs. It is based on the idea that if a property holds |
| 27 | for a partially-defined input then it must also hold for all |
| 28 | fully-defined refinements of the that input. Compared to ``eager'' |
| 29 | input generation as in SmallCheck, Lazy SmallCheck may require |
| 30 | significantly fewer test-cases to verify a property for all inputs up |
| 31 | to a given depth. |
| 32 | </longdescription> |
| 33 | </pkgmetadata> |
| 34 | |
| 35 | |
| 36 | |
| 37 | 1.1 dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild |
| 38 | |
| 39 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild?rev=1.1&view=markup |
| 40 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild?rev=1.1&content-type=text/plain |
| 41 | |
| 42 | Index: lazysmallcheck-0.6.ebuild |
| 43 | =================================================================== |
| 44 | # Copyright 1999-2012 Gentoo Foundation |
| 45 | # Distributed under the terms of the GNU General Public License v2 |
| 46 | # $Header: /var/cvsroot/gentoo-x86/dev-haskell/lazysmallcheck/lazysmallcheck-0.6.ebuild,v 1.1 2012/06/02 07:05:41 gienah Exp $ |
| 47 | |
| 48 | EAPI=4 |
| 49 | |
| 50 | CABAL_FEATURES="lib profile haddock hoogle hscolour" |
| 51 | inherit haskell-cabal |
| 52 | |
| 53 | DESCRIPTION="A library for demand-driven testing of Haskell programs" |
| 54 | HOMEPAGE="http://www.cs.york.ac.uk/~mfn/lazysmallcheck/" |
| 55 | SRC_URI="http://hackage.haskell.org/packages/archive/${PN}/${PV}/${P}.tar.gz" |
| 56 | |
| 57 | LICENSE="BSD" |
| 58 | SLOT="0" |
| 59 | KEYWORDS="~alpha ~amd64 ~ia64 ~ppc ~ppc64 ~sparc ~x86" |
| 60 | IUSE="" |
| 61 | |
| 62 | RDEPEND=">=dev-lang/ghc-6.8.2" |
| 63 | DEPEND="${RDEPEND} |
| 64 | dev-haskell/cabal" |
| 65 | |
| 66 | |
| 67 | |
| 68 | 1.1 dev-haskell/lazysmallcheck/ChangeLog |
| 69 | |
| 70 | file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/ChangeLog?rev=1.1&view=markup |
| 71 | plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/dev-haskell/lazysmallcheck/ChangeLog?rev=1.1&content-type=text/plain |
| 72 | |
| 73 | Index: ChangeLog |
| 74 | =================================================================== |
| 75 | # ChangeLog for dev-haskell/lazysmallcheck |
| 76 | # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 |
| 77 | # $Header: /var/cvsroot/gentoo-x86/dev-haskell/lazysmallcheck/ChangeLog,v 1.1 2012/06/02 07:05:41 gienah Exp $ |
| 78 | |
| 79 | *lazysmallcheck-0.6 (02 Jun 2012) |
| 80 | |
| 81 | 02 Jun 2012; Mark Wright <gienah@g.o> +lazysmallcheck-0.6.ebuild, |
| 82 | +metadata.xml: |
| 83 | Add lazysmallcheck |