[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind.
From: |
Jean-Pierre De Jesus DIAZ |
Subject: |
[bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind. |
Date: |
Thu, 25 Apr 2024 17:21:56 +0200 |
* gnu/packages/ocaml.scm (ocaml-unionfind): New variable.
Change-Id: Ib101e67576c000dad1d4a73d008ca0376e7da95a
---
gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 920ccdcf36..26f5e4a9a9 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3186,6 +3186,30 @@ (define ocaml-eio-luv
(define-public ocaml5.0-eio-luv
(package-with-ocaml5.0 ocaml-eio-luv))
+(define-public ocaml-unionfind
+ (package
+ (name "ocaml-unionfind")
+ (version "20220122")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://gitlab.inria.fr/fpottier/unionfind")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "0hdh56rbg8vfjd61q09cbmh8l5wmry5ykivg7gsm0v5ckkb3531r"))))
+ (build-system dune-build-system)
+ (home-page "https://gitlab.inria.fr/fpottier/unionFind")
+ (synopsis "Union-find data structure")
+ (description "This package provides two union-find data structure
+implementations for OCaml. Both implementations are based on disjoint sets
+forests, with path compression and linking-by-rank, so as to guarantee good
+asymptotic complexity: every operation requires a quasi-constant number of
+accesses to the store.")
+ ;; Version 2 only, with linking exception.
+ (license license:lgpl2.0)))
+
(define-public ocaml-uring
(package
(name "ocaml-uring")
--
2.41.0
- [bug#70567] [PATCH 0/7] frama-c: Update to 28.1., (continued)
[bug#70567] [PATCH v2 1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 2/7] gnu: coq-flocq: Update to 4.1.4., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 3/7] gnu: why3: Update to 1.7.2., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 4/7] gnu: why3: Use new style., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 5/7] gnu: why3: Enable extra features., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1., Jean-Pierre De Jesus DIAZ, 2024/04/25
- [bug#70567] [PATCH v2 6/7] gnu: Add ocaml-unionfind.,
Jean-Pierre De Jesus DIAZ <=