[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/07: gnu: Add ghc-trifecta-1.6.2.1.
From: |
Ludovic Courtès |
Subject: |
04/07: gnu: Add ghc-trifecta-1.6.2.1. |
Date: |
Thu, 15 Mar 2018 18:46:25 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 78dc985bee57eaaa45cb9b38c93c8ac4148e908d
Author: Alex ter Weele <address@hidden>
Date: Wed Mar 7 18:29:23 2018 -0600
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 <address@hidden>
---
gnu/packages/idris.scm | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index ae90676..b67fcbc 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")
- branch master updated (0ab5aa0 -> 8ab10c1), Ludovic Courtès, 2018/03/15
- 04/07: gnu: Add ghc-trifecta-1.6.2.1.,
Ludovic Courtès <=
- 03/07: gnu: Add ghc-aeson-1.1.2.0., Ludovic Courtès, 2018/03/15
- 05/07: gnu: Add ghc-cheapskate-0.1.0.5., Ludovic Courtès, 2018/03/15
- 01/07: vm: Use 'invoke' instead of 'system*'., Ludovic Courtès, 2018/03/15
- 06/07: gnu: idris: Provide the right versions of dependencies., Ludovic Courtès, 2018/03/15
- 02/07: gnu: qtox: Wrap executable and fix misplaced comma (unquote)., Ludovic Courtès, 2018/03/15
- 07/07: linux-initrd: Move 'check-device-initrd-modules' elsewhere., Ludovic Courtès, 2018/03/15