diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-03-07 18:29:23 -0600 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-15 23:46:15 +0100 |
| commit | 78dc985bee57eaaa45cb9b38c93c8ac4148e908d (patch) | |
| tree | ed8c10cd1727b3f8f77a228bb02410638cd46183 /gnu/packages/idris.scm | |
| parent | 9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5 (diff) | |
| download | patches-78dc985bee57eaaa45cb9b38c93c8ac4148e908d.tar patches-78dc985bee57eaaa45cb9b38c93c8ac4148e908d.tar.gz | |
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/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 13 |
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") |