[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
37/49: gnu: Add ghc-tasty-kat.
From: |
Ricardo Wurmus |
Subject: |
37/49: gnu: Add ghc-tasty-kat. |
Date: |
Thu, 10 Dec 2015 13:36:51 +0000 |
rekado pushed a commit to branch master
in repository guix.
commit 76e2fa7529b2444bdb40692b9dbfc89644372ef7
Author: Ricardo Wurmus <address@hidden>
Date: Fri Nov 27 13:34:59 2015 +0100
gnu: Add ghc-tasty-kat.
* gnu/packages/haskell.scm (ghc-tasty-kat): New variable.
---
gnu/packages/haskell.scm | 24 ++++++++++++++++++++++++
1 files changed, 24 insertions(+), 0 deletions(-)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 12b3ea6..cee55d6 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -5845,6 +5845,30 @@ supports for high level forms of ASN1 (BER, and DER).")
when ASN1 pattern matching is not convenient.")
(license bsd-3)))
+(define-public ghc-tasty-kat
+ (package
+ (name "ghc-tasty-kat")
+ (version "0.0.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "http://hackage.haskell.org/package/"
+ "tasty-kat/tasty-kat-" version ".tar.gz"))
+ (sha256
+ (base32
+ "14yvlpli6cv6bn3kh8mlfp4x1l6ns4fvmfv6hmj75cvxyzq029d7"))))
+ (build-system haskell-build-system)
+ (propagated-inputs
+ `(("ghc-tasty" ,ghc-tasty)
+ ("ghc-mtl" ,ghc-mtl)
+ ("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
+ ("ghc-tasty-hunit" ,ghc-tasty-hunit)))
+ (home-page "https://github.com/vincenthz/tasty-kat")
+ (synopsis "Known Answer Tests (KAT) framework for tasty")
+ (description
+ "This package provides a @dfn{Known Answer Tests} (KAT) framework for
+tasty.")
+ (license expat)))
+
(define-public idris
(package
(name "idris")
- 23/49: gnu: Add ghc-yaml., (continued)
- 23/49: gnu: Add ghc-yaml., Ricardo Wurmus, 2015/12/10
- 24/49: gnu: Add ghc-filemanip., Ricardo Wurmus, 2015/12/10
- 17/49: gnu: Add ghc-haskell-src-meta., Ricardo Wurmus, 2015/12/10
- 25/49: gnu: Add ghc-mmap., Ricardo Wurmus, 2015/12/10
- 29/49: gnu: Add ghc-mime-types., Ricardo Wurmus, 2015/12/10
- 31/49: gnu: Add ghc-byteable., Ricardo Wurmus, 2015/12/10
- 32/49: gnu: Add ghc-hourglass., Ricardo Wurmus, 2015/12/10
- 27/49: gnu: Add ghc-sha., Ricardo Wurmus, 2015/12/10
- 36/49: gnu: Add ghc-asn1-parse., Ricardo Wurmus, 2015/12/10
- 34/49: gnu: Add ghc-asn1-types., Ricardo Wurmus, 2015/12/10
- 37/49: gnu: Add ghc-tasty-kat.,
Ricardo Wurmus <=
- 35/49: gnu: Add ghc-asn1-encoding., Ricardo Wurmus, 2015/12/10
- 26/49: gnu: Add ghc-juicypixels., Ricardo Wurmus, 2015/12/10
- 28/49: gnu: Add ghc-hslua., Ricardo Wurmus, 2015/12/10
- 43/49: gnu: Add ghc-x509-system., Ricardo Wurmus, 2015/12/10
- 33/49: gnu: Add ghc-pem., Ricardo Wurmus, 2015/12/10
- 30/49: gnu: Add ghc-http-client., Ricardo Wurmus, 2015/12/10
- 46/49: gnu: Add ghc-connection., Ricardo Wurmus, 2015/12/10
- 40/49: gnu: Add ghc-x509., Ricardo Wurmus, 2015/12/10
- 42/49: gnu: Add ghc-x509-validation., Ricardo Wurmus, 2015/12/10
- 49/49: gnu: python-biopython, python2-biopython: Update to 1.66., Ricardo Wurmus, 2015/12/10