[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 13/21] gnu: Add ghc-chell-quickcheck.
From: |
Paul van der Walt |
Subject: |
[PATCH 13/21] gnu: Add ghc-chell-quickcheck. |
Date: |
Wed, 4 Nov 2015 21:01:01 +0100 |
* gnu/packages/haskell.scm (ghc-chell-quickcheck): New variable.
---
gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 35e71cc..ad94ca4 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1068,6 +1068,31 @@ as SDL surfaces, and supports the following formats:
BMP, GIF, JPEG, LBM, PCX,
PNG, PNM, TGA, TIFF, XCF, XPM, XV.")
(license bsd-3)))
+(define-public ghc-chell-quickcheck
+ (package
+ (name "ghc-chell-quickcheck")
+ (version "0.2.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://hackage.haskell.org/package/chell-quickcheck/"
+ "chell-quickcheck-" version ".tar.gz"))
+ (sha256
+ (base32
+ "02bkcnx5k6r5csdnnkvk4wfd0l36nxb87i1463ynw17n7ym9s4cs"))))
+ (build-system haskell-build-system)
+ (inputs
+ `(("ghc-chell" ,ghc-chell)
+ ("ghc-quickcheck" ,ghc-quickcheck)
+ ("ghc-random" ,ghc-random)))
+ (home-page "https://john-millikin.com/software/chell/")
+ (synopsis "QuickCheck support for the Chell testing library")
+ (description
+ "This library provides QuickCheck support to the @code{chell} testing
+library for Haskell.")
+ (license expat)))
+
(define-public ghc-half
(package
(name "ghc-half")
--
2.6.2
- [PATCH 09/21] gnu: Add ghc-language-c., (continued)
- [PATCH 09/21] gnu: Add ghc-language-c., Paul van der Walt, 2015/11/04
- [PATCH 14/21] gnu: Add ghc-system-filepath., Paul van der Walt, 2015/11/04
- [PATCH 19/21] gnu: Add ghc-alsa-core., Paul van der Walt, 2015/11/04
- [PATCH 18/21] gnu: Add c2hs., Paul van der Walt, 2015/11/04
- [PATCH 12/21] gnu: Add ghc-chell., Paul van der Walt, 2015/11/04
- [PATCH 13/21] gnu: Add ghc-chell-quickcheck.,
Paul van der Walt <=
- [PATCH 16/21] gnu: Add ghc-enclosed-exceptions., Paul van der Walt, 2015/11/04
- [PATCH 17/21] gnu: Add ghc-shelly., Paul van der Walt, 2015/11/04
- [PATCH 15/21] gnu: Add ghc-system-fileio., Paul van der Walt, 2015/11/04
- [PATCH 21/21] gnu: Add xmobar., Paul van der Walt, 2015/11/04
- [PATCH 20/21] gnu: Add ghc-alsa-mixer., Paul van der Walt, 2015/11/04