From 78dc985bee57eaaa45cb9b38c93c8ac4148e908d Mon Sep 17 00:00:00 2001
From: Alex ter Weele <alex.ter.weele@gmail.com>
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 <ludo@gnu.org>
---
 gnu/packages/idris.scm | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'gnu/packages')

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