From 1777e1f2cb37dffe2c99b87074beed49fb36cbf7 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Thu, 26 Nov 2015 17:08:12 +0100 Subject: gnu: Add ghc-th-lift. * gnu/packages/haskell.scm (ghc-th-lift): New variable. --- gnu/packages/haskell.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'gnu/packages/haskell.scm') diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index f84a089899..e49b0c50b9 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5214,6 +5214,27 @@ asynchronous exceptions.") "This deprecated library provides an implementation of packed strings.") (license bsd-3))) +(define-public ghc-th-lift + (package + (name "ghc-th-lift") + (version "0.7.5") + (source (origin + (method url-fetch) + (uri (string-append "http://hackage.haskell.org/package/" + "th-lift/th-lift-" version ".tar.gz")) + (sha256 + (base32 + "13xdkk1chdghf059sfx8d3d8r0mj1dbzdi5kf2zf0mjmz3qq7m7k")))) + (build-system haskell-build-system) + (propagated-inputs + `(("ghc-packedstring" ,ghc-packedstring))) + (home-page "http://github.com/mboes/th-lift") + (synopsis "Derive Template Haskell's Lift class for datatypes") + (description + "This is a Haskell library to derive Template Haskell's Lift class for +datatypes.") + (license bsd-3))) + (define-public idris (package (name "idris") -- cgit v1.2.3