[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 36/42] gnu: Add ghc-chell-quickcheck.
From: |
ng0 |
Subject: |
[PATCH 36/42] gnu: Add ghc-chell-quickcheck. |
Date: |
Sun, 18 Sep 2016 16:10:16 +0000 |
* gnu/packages/haskell.scm (ghc-chell-quickcheck): New variable.
---
gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index a8ace82..2b6ff10 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -7323,4 +7323,28 @@ testing strategies.")
(description "More complex tests for @code{chell}.")
(license license:expat)))
+(define-public ghc-chell-quickcheck
+ (package
+ (name "ghc-chell-quickcheck")
+ (version "0.2.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+
"https://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-chell-quickcheck-bootstrap" ,ghc-chell-quickcheck-bootstrap)
+ ("ghc-random" ,ghc-random)
+ ("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "https://john-millikin.com/software/chell/")
+ (synopsis "QuickCheck support for the Chell testing library")
+ (description "More complex tests for @code{chell}.")
+ (license license:expat)))
+
;;; haskell.scm ends here
--
2.10.0
- Re: [PATCH 23/42] gnu: ghc-fgl: Update to 5.5.3.0., (continued)
- [PATCH 22/42] gnu: Add ghc-wl-pprint-text., ng0, 2016/09/18
- [PATCH 28/42] gnu: Add ghc-constraints., ng0, 2016/09/18
- [PATCH 31/42] gnu: Add ghc-system-fileio-bootstrap., ng0, 2016/09/18
- [PATCH 32/42] gnu: Add ghc-shelly., ng0, 2016/09/18
- [PATCH 37/42] gnu: Add ghc-options., ng0, 2016/09/18
- [PATCH 35/42] gnu: Add ghc-chell-quickcheck-bootstrap., ng0, 2016/09/18
- [PATCH 21/42] gnu: Add ghc-process., ng0, 2016/09/18
- [PATCH 39/42] gnu: Add ghc-system-fileio., ng0, 2016/09/18
- [PATCH 36/42] gnu: Add ghc-chell-quickcheck.,
ng0 <=
- [PATCH 42/42] gnu: Add darcs., ng0, 2016/09/18
- Re: [PATCH 42/42] gnu: Add darcs., Leo Famulari, 2016/09/20
- Re: [PATCH 42/42] gnu: Add darcs., Leo Famulari, 2016/09/22
- Re: [PATCH 42/42] gnu: Add darcs., ng0, 2016/09/23
- Re: [PATCH 42/42] gnu: Add darcs., Leo Famulari, 2016/09/23
- Re: [PATCH 42/42] gnu: Add darcs., ng0, 2016/09/23
- Re: [PATCH 42/42] gnu: Add darcs., Leo Famulari, 2016/09/23
- Re: [PATCH 42/42] gnu: Add darcs., ng0, 2016/09/24