[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#68908] [PATCH] gnu: Add ocaml-ordering.
From: |
soeren |
Subject: |
[bug#68908] [PATCH] gnu: Add ocaml-ordering. |
Date: |
Sat, 3 Feb 2024 16:12:01 +0100 |
From: Sören Tempel <soeren@soeren-tempel.net>
* gnu/packages/ocaml.scm (ocaml-ordering): New variable.
Signed-off-by: Sören Tempel <soeren@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)
- [bug#68908] [PATCH] Add BINSEC., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-stdune., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dune-private-libs., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-iso8601, soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-grain-dypgen., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dyn., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-dune-site., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-toml., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add ocaml-ordering.,
soeren <=
- [bug#68908] [PATCH] gnu: Add ocaml-pp., soeren, 2024/02/03
- [bug#68908] [PATCH] gnu: Add binsec., soeren, 2024/02/03
- [bug#68908] [PATCH] Add BINSEC., Julien Lepiller, 2024/02/03
- bug#68908: [PATCH] Add BINSEC., Julien Lepiller, 2024/02/11