From 78dc985bee57eaaa45cb9b38c93c8ac4148e908d Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:29:23 -0600 Subject: gnu: Add ghc-trifecta-1.6.2.1. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. Signed-off-by: Ludovic Courtès --- gnu/packages/idris.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'gnu/packages/idris.scm') diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index ae90676d5c..b67fcbccfa 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -44,6 +44,19 @@ (base32 "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p")))))) +(define ghc-trifecta-1.6.2.1 + (package (inherit ghc-trifecta) + (version "1.6.2.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/trifecta/" + "trifecta-" version ".tar.gz")) + (sha256 + (base32 + "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs")))))) + (define-public idris (package (name "idris") -- cgit v1.2.3