[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
05/177: gnu: ghc-quickcheck: Update to 2.10.1.
From: |
Ricardo Wurmus |
Subject: |
05/177: gnu: ghc-quickcheck: Update to 2.10.1. |
Date: |
Tue, 13 Feb 2018 07:38:02 -0500 (EST) |
rekado pushed a commit to branch master
in repository guix.
commit 7291ad1e128f857b948cac11e266c845ea845023
Author: Ricardo Wurmus <address@hidden>
Date: Mon Feb 12 19:00:06 2018 +0100
gnu: ghc-quickcheck: Update to 2.10.1.
* gnu/packages/haskell-check.scm (ghc-quickcheck): Update to 2.10.1.
[inputs]: Add ghc-random.
[description]: Add two sentences.
---
gnu/packages/haskell-check.scm | 21 ++++++++++++---------
1 file changed, 12 insertions(+), 9 deletions(-)
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index d6d2021..fd7823d 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -2,7 +2,7 @@
;;; Copyright © 2015 Paul van der Walt <address@hidden>
;;; Copyright © 2015 Eric Bavier <address@hidden>
;;; Copyright © 2015 Federico Beffa <address@hidden>
-;;; Copyright © 2015, 2016, 2017 Ricardo Wurmus <address@hidden>
+;;; Copyright © 2015, 2016, 2017, 2018 Ricardo Wurmus <address@hidden>
;;; Copyright © 2016 ng0 <address@hidden>
;;; Copyright © 2016 David Craven <address@hidden>
;;; Copyright © 2017 Danny Milosavljevic <address@hidden>
@@ -390,7 +390,7 @@ use HUnit assertions as QuickCheck properties.")
(define-public ghc-quickcheck
(package
(name "ghc-quickcheck")
- (version "2.8.2")
+ (version "2.10.1")
(outputs '("out" "doc"))
(source
(origin
@@ -401,19 +401,22 @@ use HUnit assertions as QuickCheck properties.")
".tar.gz"))
(sha256
(base32
- "1ai6k5v0bibaxq8xffcblc6rwmmk6gf8vjyd9p2h3y6vwbhlvilq"))))
+ "1rfmns3lj3hl93k1jws85ajkkw7z9ll8cw292n9m7zald1w5dfqx"))))
(build-system haskell-build-system)
(arguments
`(#:tests? #f ; FIXME: currently missing libraries used for tests.
#:configure-flags '("-f base4")))
(inputs
- `(("ghc-tf-random" ,ghc-tf-random)))
- (home-page
- "https://github.com/nick8325/quickcheck")
- (synopsis
- "Automatic testing of Haskell programs")
+ `(("ghc-random" ,ghc-random)
+ ("ghc-tf-random" ,ghc-tf-random)))
+ (home-page "https://github.com/nick8325/quickcheck")
+ (synopsis "Automatic testing of Haskell programs")
(description
- "QuickCheck is a library for random testing of program properties.")
+ "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.")
(license license:bsd-3)))
(define-public ghc-test-framework
- 20/177: gnu: ghc-attoparsec: Update to 0.13.2.2., (continued)
- 20/177: gnu: ghc-attoparsec: Update to 0.13.2.2., Ricardo Wurmus, 2018/02/13
- 38/177: gnu: ghc-stm: Update to 2.4.5.0., Ricardo Wurmus, 2018/02/13
- 27/177: gnu: ghc-text: Update to 1.2.2.2., Ricardo Wurmus, 2018/02/13
- 02/177: gnu: ghc: Use ghc-8 as default GHC., Ricardo Wurmus, 2018/02/13
- 14/177: gnu: ghc-hspec: Update to 2.2.4., Ricardo Wurmus, 2018/02/13
- 45/177: gnu: ghc-cgi: Update to 3001.3.0.2., Ricardo Wurmus, 2018/02/13
- 48/177: gnu: ghc-extra: Update to 1.6.3., Ricardo Wurmus, 2018/02/13
- 53/177: gnu: ghc-th-lift: Update to 0.7.8., Ricardo Wurmus, 2018/02/13
- 55/177: gnu: ghc-nats: Update to 1.1.1., Ricardo Wurmus, 2018/02/13
- 16/177: gnu: ghc-hunit: Update to 1.3.1.2., Ricardo Wurmus, 2018/02/13
- 05/177: gnu: ghc-quickcheck: Update to 2.10.1.,
Ricardo Wurmus <=
- 10/177: gnu: ghc-test-framework: Fix build with GHC 8., Ricardo Wurmus, 2018/02/13
- 23/177: gnu: ghc-old-time: Allow building with GHC 8., Ricardo Wurmus, 2018/02/13
- 22/177: gnu: Add ghc-hashable-time., Ricardo Wurmus, 2018/02/13
- 28/177: gnu: Add ghc-time-locale-compat., Ricardo Wurmus, 2018/02/13
- 33/177: gnu: data-default-instances-base: Update to 0.1.0.1., Ricardo Wurmus, 2018/02/13
- 41/177: gnu: ghc-cgi: Update to 3001.3.0.1., Ricardo Wurmus, 2018/02/13
- 40/177: gnu: Add ghc-pretty-show., Ricardo Wurmus, 2018/02/13
- 37/177: gnu: ghc-haddock: Update to 2.17.4., Ricardo Wurmus, 2018/02/13
- 43/177: gnu: ghc-network: Update to 2.6.3.1., Ricardo Wurmus, 2018/02/13
- 47/177: gnu: hlint: Update to 1.9.37., Ricardo Wurmus, 2018/02/13