diff options
| author | Alex ter Weele <alex.ter.weele@gmail.com> | 2018-03-07 18:31:22 -0600 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-15 23:46:16 +0100 |
| commit | 866b19086e7f294261e694b228ff05ffb129296c (patch) | |
| tree | 98d62c046b3104c55d51cb3edf680da10d0a0aef | |
| parent | 78dc985bee57eaaa45cb9b38c93c8ac4148e908d (diff) | |
| download | patches-866b19086e7f294261e694b228ff05ffb129296c.tar patches-866b19086e7f294261e694b228ff05ffb129296c.tar.gz | |
gnu: Add ghc-cheapskate-0.1.0.5.
* gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/idris.scm | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index b67fcbccfa..c103055f50 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -57,6 +57,25 @@ (base32 "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs")))))) +;; ghc-cheapskate appeared too new. This follows LTS Haskell. +(define ghc-cheapskate-0.1.0.5 + (package + (inherit ghc-cheapskate) + (version "0.1.0.5") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/cheapskate/cheapskate-" + version + ".tar.gz")) + (sha256 + (base32 + "0cpsmfx5z2xykg71sv8j7pl8ga6pzyjnjdb9bxn00vcpqkzvfqvs")))) + (arguments + ;; LTS Haskell says data-default >=0.5 && <0.8 + `(#:configure-flags (list "--allow-newer=data-default"))))) + (define-public idris (package (name "idris") |