[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#32908] [PATCH 12/24] gnu: Add ghc-pqueue.
From: |
Ricardo Wurmus |
Subject: |
[bug#32908] [PATCH 12/24] gnu: Add ghc-pqueue. |
Date: |
Tue, 2 Oct 2018 18:32:50 +0200 |
* gnu/packages/haskell.scm (ghc-pqueue): New variable.
---
gnu/packages/haskell.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index d79329f68..80d331c46 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -10907,6 +10907,28 @@ compression algorithm used in the @code{.xz} file
format.")
streaming compression and decompression.")
(license license:bsd-3)))
+(define-public ghc-pqueue
+ (package
+ (name "ghc-pqueue")
+ (version "1.4.1.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://hackage.haskell.org/package/"
+ "pqueue/pqueue-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1zvwm1zcqqq5n101s1brjhgbay8rf9fviq6gxbplf40i63m57p1x"))))
+ (build-system haskell-build-system)
+ (native-inputs
+ `(("ghc-quickcheck" ,ghc-quickcheck)))
+ (home-page "https://hackage.haskell.org/package/pqueue")
+ (synopsis "Reliable, persistent, fast priority queues")
+ (description
+ "This package provides a fast, reliable priority queue implementation
+based on a binomial heap.")
+ (license license:bsd-3)))
+
(define-public ghc-weigh
(package
(name "ghc-weigh")
--
2.19.0
- [bug#32908] [PATCH 01/24] gnu: ghc-http-conduit: Remove ghc-http-client from native-inputs., (continued)
- [bug#32908] [PATCH 01/24] gnu: ghc-http-conduit: Remove ghc-http-client from native-inputs., Ricardo Wurmus, 2018/10/02
- [bug#32909] [PATCH 02/24] gnu: ghc-regex: Fix build., Ricardo Wurmus, 2018/10/02
- [bug#32910] [PATCH 03/24] gnu: Add ghc-cairo., Ricardo Wurmus, 2018/10/02
- [bug#32913] [PATCH 05/24] gnu: Add ghc-atomic-write., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 06/24] gnu: Add ghc-cereal-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 07/24] gnu: Add ghc-lzma., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 08/24] gnu: Add ghc-stm-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 09/24] gnu: Add ghc-bindings-dsl., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 12/24] gnu: Add ghc-pqueue.,
Ricardo Wurmus <=
- [bug#32908] [PATCH 11/24] gnu: Add ghc-bzlib-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 10/24] gnu: Add ghc-lzma-conduit., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 14/24] gnu: Add ghc-interpolate., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 13/24] gnu: Add ghc-conduit-algorithms., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 15/24] gnu: Add ghc-hpack., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 16/24] gnu: Add ghc-raw-string-qq., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 17/24] gnu: Add ghc-inline-c., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 18/24] gnu: Add ghc-safe-exceptions., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 19/24] gnu: Add ghc-inline-c-cpp., Ricardo Wurmus, 2018/10/02
- [bug#32908] [PATCH 20/24] gnu: Add ghc-bytestring-lexing., Ricardo Wurmus, 2018/10/02