diff options
| author | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-11-27 13:34:59 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <ricardo.wurmus@mdc-berlin.de> | 2015-12-10 14:34:51 +0100 |
| commit | 76e2fa7529b2444bdb40692b9dbfc89644372ef7 (patch) | |
| tree | caf0f0511daf55aa8963dfc470a3785cff04c991 /gnu/packages/haskell.scm | |
| parent | 9d3c5d3859897fdfa718f7b8673a3557d5f7b028 (diff) | |
| download | patches-76e2fa7529b2444bdb40692b9dbfc89644372ef7.tar patches-76e2fa7529b2444bdb40692b9dbfc89644372ef7.tar.gz | |
gnu: Add ghc-tasty-kat.
* gnu/packages/haskell.scm (ghc-tasty-kat): New variable.
Diffstat (limited to 'gnu/packages/haskell.scm')
| -rw-r--r-- | 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 12b3ea6ce6..cee55d6209 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") |