Cabal revisions of QuickCheck-2.5
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-Name: QuickCheck-Version: 2.5-Cabal-Version: >= 1.6-Build-type: Simple-License: BSD3-License-file: LICENSE-Extra-source-files: README-Copyright: 2000-2012 Koen Claessen, 2006-2008 Björn Bringert, 2009-2012 Nick Smallbone-Author: Koen Claessen <koen@chalmers.se>-Maintainer: QuickCheck developers <quickcheck@projects.haskell.org>-Bug-reports: mailto:quickcheck@projects.haskell.org-Tested-with: GHC >=6.8, Hugs-Homepage: http://code.haskell.org/QuickCheck-Category: Testing-Synopsis: Automatic testing of Haskell programs-Description:- QuickCheck is a library for random testing of program properties.- .- The programmer provides a specification of the program, in- the form of properties which functions should satisfy, and- QuickCheck then tests that the properties hold in a large number- of randomly generated cases.- .- Specifications are expressed in- Haskell, using combinators defined in the QuickCheck library.- QuickCheck provides combinators to define properties, observe- the distribution of test data, and define test- data generators.--source-repository head- type: darcs- location: http://code.haskell.org/QuickCheck/devel--source-repository this- type: darcs- location: http://code.haskell.org/QuickCheck/stable- tag: 2.4.2--flag base3- Description: Choose the new smaller, split-up base package.--flag base4- Description: Choose the even newer base package with extensible exceptions.--flag templateHaskell- Description: Build Test.QuickCheck.All, which uses Template Haskell.--library- -- Choose which library versions to use.- if flag(base4)- Build-depends: base >= 4 && < 5, random- else- if flag(base3)- Build-depends: base >= 3 && < 4, random- else- Build-depends: base < 3-- -- On old versions of GHC use the ghc package to catch ctrl-C.- if impl(ghc >= 6.7) && impl(ghc < 6.13)- Build-depends: ghc-- -- We want to use extensible-exceptions even if linking against base-3.- if impl(ghc >= 6.9)- Build-depends: extensible-exceptions-- -- Modules that are always built.- Exposed-Modules:- Test.QuickCheck,- Test.QuickCheck.Arbitrary,- Test.QuickCheck.Gen,- Test.QuickCheck.Monadic,- Test.QuickCheck.Modifiers,- Test.QuickCheck.Property,- Test.QuickCheck.Test,- Test.QuickCheck.Text,- Test.QuickCheck.Poly,- Test.QuickCheck.State-- Extensions: CPP-- -- Choose which optional features to build based on which compiler- -- we're using. It would be nice to use flags for this but Cabal's- -- dependency resolution isn't good enough.- if impl(ghc)- Exposed-Modules: Test.QuickCheck.Function- if flag(templateHaskell) && impl(ghc >= 6.12)- Build-depends: template-haskell >= 2.4- Exposed-Modules: Test.QuickCheck.All- -- GHC < 7.0 doesn't cope with multiple LANGUAGE pragmas in the same- -- file, I think...- if impl(ghc < 7)- Extensions: GeneralizedNewtypeDeriving, MultiParamTypeClasses, Rank2Types, TypeOperators- else- -- If your Haskell compiler can cope without some of these, please- -- send a message to the QuickCheck mailing list!- cpp-options: -DNO_TIMEOUT -DNO_NEWTYPE_DERIVING- if !impl(hugs)- cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES- Other-Modules:- Test.QuickCheck.Exception+Name: QuickCheck +Version: 2.5 +x-revision: 1 +Cabal-Version: >= 1.6 +Build-type: Simple +License: BSD3 +License-file: LICENSE +Extra-source-files: README +Copyright: 2000-2012 Koen Claessen, 2006-2008 Björn Bringert, 2009-2012 Nick Smallbone +Author: Koen Claessen <koen@chalmers.se> +Maintainer: QuickCheck developers <quickcheck@projects.haskell.org> +Bug-reports: mailto:quickcheck@projects.haskell.org +Tested-with: GHC >=6.8, Hugs +Homepage: http://code.haskell.org/QuickCheck +Category: Testing +Synopsis: Automatic testing of Haskell programs +Description: + QuickCheck is a library for random testing of program properties. + . + The programmer provides a specification of the program, in + the form of properties which functions should satisfy, and + QuickCheck then tests that the properties hold in a large number + of randomly generated cases. + . + Specifications are expressed in + Haskell, using combinators defined in the QuickCheck library. + QuickCheck provides combinators to define properties, observe + the distribution of test data, and define test + data generators. + +source-repository head + type: darcs + location: http://code.haskell.org/QuickCheck/devel + +source-repository this + type: darcs + location: http://code.haskell.org/QuickCheck/stable + tag: 2.4.2 + +flag base3 + Description: Choose the new smaller, split-up base package. + +flag base4 + Description: Choose the even newer base package with extensible exceptions. + +flag templateHaskell + Description: Build Test.QuickCheck.All, which uses Template Haskell. + +library + -- Choose which library versions to use. + if flag(base4) + Build-depends: base >= 4 && < 4.8, random + else + if flag(base3) + Build-depends: base >= 3 && < 4, random + else + Build-depends: base < 3 + + -- On old versions of GHC use the ghc package to catch ctrl-C. + if impl(ghc >= 6.7) && impl(ghc < 6.13) + Build-depends: ghc + + -- We want to use extensible-exceptions even if linking against base-3. + if impl(ghc >= 6.9) + Build-depends: extensible-exceptions + + -- Modules that are always built. + Exposed-Modules: + Test.QuickCheck, + Test.QuickCheck.Arbitrary, + Test.QuickCheck.Gen, + Test.QuickCheck.Monadic, + Test.QuickCheck.Modifiers, + Test.QuickCheck.Property, + Test.QuickCheck.Test, + Test.QuickCheck.Text, + Test.QuickCheck.Poly, + Test.QuickCheck.State + + Extensions: CPP + + -- Choose which optional features to build based on which compiler + -- we're using. It would be nice to use flags for this but Cabal's + -- dependency resolution isn't good enough. + if impl(ghc) + Exposed-Modules: Test.QuickCheck.Function + if flag(templateHaskell) && impl(ghc >= 6.12) + Build-depends: template-haskell >= 2.4 + Exposed-Modules: Test.QuickCheck.All + -- GHC < 7.0 doesn't cope with multiple LANGUAGE pragmas in the same + -- file, I think... + if impl(ghc < 7) + Extensions: GeneralizedNewtypeDeriving, MultiParamTypeClasses, Rank2Types, TypeOperators + else + -- If your Haskell compiler can cope without some of these, please + -- send a message to the QuickCheck mailing list! + cpp-options: -DNO_TIMEOUT -DNO_NEWTYPE_DERIVING + if !impl(hugs) + cpp-options: -DNO_ST_MONAD -DNO_MULTI_PARAM_TYPE_CLASSES + Other-Modules: + Test.QuickCheck.Exception