GNU bug report logs - #67921
[PATCH haskell-team 1/3] gnu: ghc-next: Update to version 9.4.8

Previous Next

Full log

View this message in rfc822 format

From: Saku Laesvuori <saku <at> laesvuori.fi>
To: 67921 <at> debbugs.gnu.org
Cc: Saku Laesvuori <saku <at> laesvuori.fi>, Lars-Dominik Braun <lars <at> 6xq.net>
Subject: [bug#67921] [PATCH haskell-team 11/23] gnu: Add ghc-heaps-bootstrap-for-9.6
Date: Fri,  7 Jun 2024 10:49:42 +0300

* gnu/packages/haskell.scm (ghc-heaps-bootstrap-for-9.6): New variable.

Change-Id: Ib04a47d3eacba415fd44cd532c18c02f8d9cf40b
---
 gnu/packages/haskell.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index e9aa8f7524..fd814a2346 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -1751,6 +1751,27 @@ (define ghc-random-bootstrap-for-9.6
 library, including the ability to split random number generators.")
     (license license:bsd-3)))
 
+(define ghc-heaps-bootstrap-for-9.6
+  (package
+    (name "ghc-heaps-bootstrap")
+    (version "0.4")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (hackage-uri "heaps" version))
+       (sha256
+        (base32 "1zbw0qrlnhb42v04phzwmizbpwg21wnpl7p4fbr9xsasp7w9scl9"))))
+    (build-system haskell-build-system)
+    (properties '((upstream-name . "heaps")))
+    (arguments (list #:haskell ghc-bootstrap-for-9.6))
+    (home-page "http://github.com/ekmett/heaps/")
+    (synopsis "Asymptotically optimal Brodal/Okasaki heaps.")
+    (description
+     "Asymptotically optimal Brodal\\/Okasaki bootstrapped skew-binomial heaps from the
+paper <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.973 \"Optimal
+Purely Functional Priority Queues\">, extended with a Foldable interface.")
+    (license license:bsd-3)))
+
 (define ghc-utf8-string-bootstrap-for-9.6
   (package
     (name "ghc-utf8-string-bootstrap")
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.