>From 477d5f85747501c5b78597f76713fa6f87eedd6f Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:29:23 -0600 Subject: [PATCH 2/4] gnu: Add ghc-trifecta-1.6.2.1. * gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. --- gnu/packages/idris.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index ae90676d5..b67fcbccf 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") -- 2.16.2