Fedora 15 Update: ghc-QuickCheck-2.4.0.1-8.fc15

updates at fedoraproject.org updates at fedoraproject.org
Fri Feb 10 21:52:36 UTC 2012


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2012-0745
2012-01-21 21:11:27
--------------------------------------------------------------------------------

Name        : ghc-QuickCheck
Product     : Fedora 15
Version     : 2.4.0.1
Release     : 8.fc15
URL         : http://hackage.haskell.org/package/QuickCheck
Summary     : Automatic testing of Haskell programs
Description :
QuickCheck80 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.

--------------------------------------------------------------------------------
Update Information:

Rebuilds of rest of Haskell Platform packages with tighter ghc library dependencies and support for ARM archs.
--------------------------------------------------------------------------------
ChangeLog:

* Wed Jan 18 2012 Jens Petersen <petersen at redhat.com> - 2.4.0.1-8
- no longer depends on ghc lib
- update to cabal2spec-0.24.1
- build only for ghc_arches_with_ghci
* Mon Jun 20 2011 Jens Petersen <petersen at redhat.com> - 2.4.0.1-7
- BR ghc-Cabal-devel and use ghc_excluded_archs
* Fri May 27 2011 Jens Petersen <petersen at redhat.com> - 2.4.0.1-6
- update to cabal2spec-0.23: add ppc64
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update ghc-QuickCheck' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------


More information about the package-announce mailing list