GNU bug report logs -
#60673
[PATCH 01/39] gnu: Add ocaml-domain-name.
Previous Next
Reported by: Csepp <raingloom <at> riseup.net>
Date: Mon, 9 Jan 2023 00:36:03 UTC
Severity: normal
Tags: moreinfo, patch
Merged with 60671,
60672,
60674,
60675,
60676,
60677,
60678,
60679,
60680,
60681,
60682,
60683
Done: Christopher Baines <mail <at> cbaines.net>
Bug is archived. No further changes may be made.
Full log
Message #216 received at 60673 <at> debbugs.gnu.org (full text, mbox):
From: raingloom <raingloom <at> riseup.net>
* gnu/packages/ocaml.scm (ocaml-bheap): New variable.
---
gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 737f2cd8e8..0aca8a1c83 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3107,6 +3107,28 @@ (define-public ocaml-io-page
avoid copying the data contained within the page.")
(license license:isc)))
+(define-public ocaml-bheap
+ (package
+ (name "ocaml-bheap")
+ (version "2.0.0")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/backtracking/bheap")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0b8md5zl4yz7j62jz0bf7lwyl0pyqkxqx36ghkgkbkxb4zzggfj1"))))
+ (build-system dune-build-system)
+ (native-inputs (list ocaml-stdlib-shims))
+ (home-page "https://github.com/backtracking/bheap")
+ (synopsis "Priority queues")
+ (description
+ "Traditional implementation of priority queues using a binary heap
+encoded in a resizable array.")
+ (license license:lgpl2.1)))
+
(define-public ocaml-luv
(package
(name "ocaml-luv")
--
2.39.1
This bug report was last modified 2 years and 150 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.