diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-03-07 18:28:24 -0600 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-15 23:46:15 +0100 |
| commit | 9c7e17fd61826506a06b2bf737ebd8bbcd0ce2b5 (patch) | |
| tree | 7806dee8cd7644d2a538673e3628836378f125d5 /gnu | |
| parent | dab03baa0a4d857edf8c5752e5dd8ecaab8862a7 (diff) | |
| download | guix-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')
| -rw-r--r-- | gnu/packages/idris.scm | 14 |
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") |