[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 5/7] gnu: Add idris-wl-pprint.
From: |
David Craven |
Subject: |
[PATCH 5/7] gnu: Add idris-wl-pprint. |
Date: |
Mon, 2 Jan 2017 18:19:56 +0100 |
* gnu/packages/haskell.scm (idris-wl-pprint): New variable.
---
gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 2e31c0dbb..bc6d6d4b1 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6822,6 +6822,31 @@ by Parsec. This package is used (almost) the same way
as Parsec, except for one
difference: backtracking.")
(license license:bsd-2))))
+(define-public idris-wl-pprint
+ (let ((commit "1d365fcf4ba075859844dbc5eb96a90f57b9f338"))
+ (package
+ (name "idris-wl-pprint")
+ (version (git-version "0.1" "1" commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/shayan-najd/wl-pprint")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0g7c3y9smifdz4sivi3qmvymhdr7v9kfq45fmfmmvkqcrix0spzn"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("idris" ,idris)))
+ (arguments (idris-default-arguments name))
+ (home-page "https://github.com/shayan-najd/wl-pprint")
+ (synopsis "Pretty printing library")
+ (description "A pretty printing library for Idris based on Phil Wadler's
+paper A Prettier Printer and on Daan Leijen's extensions in the Haskell
+wl-pprint library.")
+ (license license:bsd-2))))
+
(define-public ghc-base16-bytestring
(package
(name "ghc-base16-bytestring")
--
2.11.0
- [PATCH 1/7] git-download: Add some helpers., David Craven, 2017/01/02
- [PATCH 3/7] gnu: idris: Update to 0.99., David Craven, 2017/01/02
- [PATCH 2/7] gnu: Order module imports in (gnu packages haskell) alphabetically., David Craven, 2017/01/02
- [PATCH 5/7] gnu: Add idris-wl-pprint.,
David Craven <=
- [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/02
- Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., David Craven, 2017/01/03
- Re: [PATCH 4/7] gnu: Add idris-lightyear., Ludovic Courtès, 2017/01/05
[PATCH 6/7] gnu: Add idris-bifunctors., David Craven, 2017/01/02