summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorAlex ter Weele <alex.ter.weele@gmail.com>2018-03-07 18:29:23 -0600
committerLudovic Courtès <ludo@gnu.org>2018-03-15 23:46:15 +0100
commit78dc985bee57eaaa45cb9b38c93c8ac4148e908d (patch)
treeed8c10cd1727b3f8f77a228bb02410638cd46183 /gnu/packages
parent9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5 (diff)
gnu: Add ghc-trifecta-1.6.2.1.
* gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/idris.scm13
1 files changed, 13 insertions, 0 deletions
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")