Re: [PATCH 6/7] gnu: Add idris-bifunctors.

[Ludovic Courtès]

David Craven  skribis:

> * gnu/packages/haskell.scm (idris-bifunctors): New variable.

LGTM!

[PATCH 6/7] gnu: Add idris-bifunctors.

[David Craven]

* gnu/packages/haskell.scm (idris-bifunctors): New variable.
---
 gnu/packages/haskell.scm | 24 
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index bc6d6d4b1..4fb6032bf 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -6847,6 +6847,30 @@ paper A Prettier Printer and on Daan Leijen's extensions 
in the Haskell
 wl-pprint library.")
   (license license:bsd-2
 
+(define-public idris-bifunctors
+  (let ((commit "53d06a6ccfe70c49c9ae8c8a4135981dd2173202"))
+(package
+  (name "idris-bifunctors")
+  (version (git-version "0.1" "1" commit))
+  (source (origin
+(method git-fetch)
+(uri (git-reference
+  (url "https://github.com/HuwCampbell/Idris-Bifunctors;)
+  (commit commit)))
+(file-name (string-append name "-" version "-checkout"))
+(sha256
+ (base32
+  "02vbsd3rmgnj0l1qq787709qcxjbr9890cbad4ykn27f77jk81h4"
+  (build-system gnu-build-system)
+  (native-inputs
+   `(("idris" ,idris)))
+  (arguments (idris-default-arguments name))
+  (home-page "https://github.com/HuwCampbell/Idris-Bifunctors;)
+  (synopsis "Bifunctor library")
+  (description "This is a bifunctor library for Idris based off the
+excellent Haskell Bifunctors package from Edward Kmett.")
+  (license license:bsd-3
+
 (define-public ghc-base16-bytestring
   (package
 (name "ghc-base16-bytestring")
-- 
2.11.0