From: ng0 <ng0@we.make.ritual.n0.is>
To: guix-devel@gnu.org
Subject: [PATCH 36/42] gnu: Add ghc-chell-quickcheck.
Date: Sun, 18 Sep 2016 16:10:16 +0000 [thread overview]
Message-ID: <20160918161022.26135-36-ng0@we.make.ritual.n0.is> (raw)
In-Reply-To: <20160918161022.26135-1-ng0@we.make.ritual.n0.is>
* 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
next prev parent reply other threads:[~2016-09-18 16:11 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-18 16:09 [PATCH 01/42] gnu: Add ghc-base16-bytestring ng0
2016-09-18 16:09 ` [PATCH 02/42] gnu: Add ghc-binary ng0
2016-09-18 16:09 ` [PATCH 03/42] gnu: ghc-cryptonite: Update to 0.19 ng0
2016-09-18 16:09 ` [PATCH 04/42] gnu: Add ghc-cryptohash ng0
2016-09-21 1:10 ` Leo Famulari
2016-09-26 9:16 ` Ludovic Courtès
2016-09-18 16:09 ` [PATCH 05/42] gnu: Add ghc-data-ordlist ng0
2016-09-18 16:09 ` [PATCH 06/42] gnu: Add ghc-haskeline ng0
2016-09-18 16:09 ` [PATCH 07/42] gnu: Add ghc-regex-applicative ng0
2016-09-18 16:09 ` [PATCH 08/42] gnu: Add ghc-regex-tdfa ng0
2016-09-21 1:11 ` Leo Famulari
2016-09-21 8:16 ` ng0
2016-09-23 0:03 ` Leo Famulari
2016-09-18 16:09 ` [PATCH 09/42] gnu: Add ghc-regex-compat-tdfa ng0
2016-09-18 16:09 ` [PATCH 10/42] gnu: Add ghc-tasty-th ng0
2016-09-21 1:11 ` Leo Famulari
2016-09-18 16:09 ` [PATCH 11/42] gnu: Add ghc-sandi ng0
2016-09-18 16:09 ` [PATCH 12/42] gnu: Add ghc-bytestring-handle ng0
2016-09-18 16:09 ` [PATCH 13/42] gnu: Add ghc-tar ng0
2016-09-21 1:11 ` Leo Famulari
2016-09-18 16:09 ` [PATCH 14/42] gnu: Add ghc-transformers ng0
2016-09-18 16:09 ` [PATCH 15/42] gnu: Add ghc-findbin ng0
2016-09-21 1:12 ` Leo Famulari
2016-09-18 16:09 ` [PATCH 16/42] gnu: Add ghc-patience ng0
2016-09-21 1:12 ` Leo Famulari
2016-09-18 16:09 ` [PATCH 17/42] gnu: Add ghc-monads-tf ng0
2016-09-18 16:09 ` [PATCH 18/42] gnu: Add ghc-bytestring ng0
2016-09-18 16:09 ` [PATCH 19/42] gnu: Add ghc-colour ng0
2016-09-21 1:12 ` Leo Famulari
2016-09-18 16:10 ` [PATCH 20/42] gnu: Add ghc-directory ng0
2016-09-18 16:10 ` [PATCH 21/42] gnu: Add ghc-process ng0
2016-09-21 1:13 ` Leo Famulari
2016-09-18 16:10 ` [PATCH 22/42] gnu: Add ghc-wl-pprint-text ng0
2016-09-18 16:10 ` [PATCH 23/42] gnu: ghc-fgl: Update to 5.5.3.0 ng0
2016-09-21 1:19 ` Leo Famulari
2016-09-18 16:10 ` [PATCH 24/42] gnu: Add ghc-fgl-arbitrary ng0
2016-09-18 16:10 ` [PATCH 25/42] gnu: Add ghc-graphviz ng0
2016-09-18 16:10 ` [PATCH 26/42] gnu: Add ghc-array ng0
2016-09-18 16:10 ` [PATCH 27/42] gnu: Add ghc-findbin ng0
2016-09-21 1:12 ` Leo Famulari
2016-09-21 8:20 ` ng0
2016-09-18 16:10 ` [PATCH 28/42] gnu: Add ghc-constraints ng0
2016-09-18 16:10 ` [PATCH 29/42] gnu: Add ghc-lifted-async ng0
2016-09-18 16:10 ` [PATCH 30/42] gnu: Add ghc-system-filepath-bootstrap ng0
2016-09-18 16:10 ` [PATCH 31/42] gnu: Add ghc-system-fileio-bootstrap ng0
2016-09-18 16:10 ` [PATCH 32/42] gnu: Add ghc-shelly ng0
2016-09-18 16:10 ` [PATCH 33/42] gnu: Add ghc-options-bootstrap ng0
2016-09-18 16:10 ` [PATCH 34/42] gnu: Add ghc-chell ng0
2016-09-18 16:10 ` [PATCH 35/42] gnu: Add ghc-chell-quickcheck-bootstrap ng0
2016-09-18 16:10 ` ng0 [this message]
2016-09-18 16:10 ` [PATCH 37/42] gnu: Add ghc-options ng0
2016-09-18 16:10 ` [PATCH 38/42] gnu: Add ghc-system-filepath ng0
2016-09-18 16:10 ` [PATCH 39/42] gnu: Add ghc-system-fileio ng0
2016-09-18 16:10 ` [PATCH 40/42] gnu: Add ghc-transformers@0.4.2.0 ng0
2016-09-18 16:10 ` [PATCH 41/42] gnu: Add ghc-directory@1.2.2.0 ng0
2016-09-21 1:06 ` Leo Famulari
2016-09-18 16:10 ` [PATCH 42/42] gnu: Add darcs ng0
2016-09-21 1:44 ` Leo Famulari
2016-09-21 8:27 ` ng0
2016-09-26 21:04 ` Leo Famulari
2016-09-23 0:12 ` Leo Famulari
2016-09-23 9:12 ` ng0
2016-09-23 13:48 ` Leo Famulari
2016-09-23 20:08 ` ng0
2016-09-24 2:26 ` Leo Famulari
2016-09-24 9:07 ` ng0
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160918161022.26135-36-ng0@we.make.ritual.n0.is \
--to=ng0@we.make.ritual.n0.is \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.