GNU bug report logs - #68908
[PATCH] Add BINSEC.

Previous Next

Full log

Message #20 received at 68908 <at> debbugs.gnu.org (full text, mbox):

From: soeren <at> soeren-tempel.net
To: 68908 <at> debbugs.gnu.org
Subject: [PATCH] gnu: Add ocaml-ordering.
Date: Sat,  3 Feb 2024 16:12:01 +0100

From: Sören Tempel <soeren <at> soeren-tempel.net>

* gnu/packages/ocaml.scm (ocaml-ordering): New variable.

Signed-off-by: Sören Tempel <soeren <at> soeren-tempel.net>
---
 gnu/packages/ocaml.scm | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index b77acdf0d4..1d9fd31d49 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8305,6 +8305,20 @@ (define-public ocaml-fix
 that involve memoization and recursion.")
     (license license:lgpl2.0)))
 
+(define-public ocaml-ordering
+  (package
+    (inherit dune)
+    (name "ocaml-ordering")
+    (build-system dune-build-system)
+    (arguments
+     '(#:package "ordering"
+       ;; No separate test suite from dune.
+       #:tests? #f))
+    (propagated-inputs (list ocaml-odoc))
+    (synopsis "Element ordering library provided by Dune")
+    (description "Element ordering library provided by Dune.")
+    (license license:expat)))
+
 (define-public ocaml-dune-build-info
   (package
     (inherit dune)

Previous Next

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