summary refs log tree commit diff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
authorAlex ter Weele <alex.ter.weele@gmail.com>2018-03-07 18:28:24 -0600
committerLudovic Courtès <ludo@gnu.org>2018-03-15 23:46:15 +0100
commit9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5 (patch)
tree7806dee8cd7644d2a538673e3628836378f125d5 /gnu/packages/idris.scm
parentdab03baa0a4d857edf8c5752e5dd8ecaab8862a7 (diff)
downloadguix-9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5.tar.gz
gnu: Add ghc-aeson-1.1.2.0.
* gnu/packages/idris.scm (ghc-aeson-1.1.2.0): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/idris.scm')
-rw-r--r--gnu/packages/idris.scm14
1 files changed, 14 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 6eb940c9d5..ae90676d5c 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -30,6 +30,20 @@
   #:use-module ((guix licenses) #:prefix license:)
   #:use-module (guix packages))
 
+(define ghc-aeson-1.1.2.0
+  (package (inherit ghc-aeson)
+    (version "1.1.2.0")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append
+             "https://hackage.haskell.org/package/aeson/aeson-"
+             version
+             ".tar.gz"))
+       (sha256
+        (base32
+         "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p"))))))
+
 (define-public idris
   (package
     (name "idris")