[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60673] [PATCH v2 13/39] gnu: Add ocaml-mirage-time.
From: |
Csepp |
Subject: |
[bug#60673] [PATCH v2 13/39] gnu: Add ocaml-mirage-time. |
Date: |
Wed, 15 Feb 2023 23:00:02 +0100 |
From: raingloom <raingloom@riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage-time): New variable.
---
gnu/packages/ocaml.scm | 20 ++++++++++++++++++++
1 file changed, 20 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f2ff6b6e15..affd0c194a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3802,6 +3802,26 @@ (define-public ocaml-duration
provided check the input and raise on negative or out of bound input.")
(license license:isc)))
+(define-public ocaml-mirage-time
+ (package
+ (name "ocaml-mirage-time")
+ (version "3.0.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://github.com/mirage/mirage-time/releases/download/v"
+ version "/mirage-time-v3.0.0.tbz"))
+ (sha256
+ (base32
+ "0z5xkhlgyhm22wyhwpf9r0rn4125cc3cxj6ccavyiiz2b2dr8h0d"))))
+ (build-system dune-build-system)
+ (propagated-inputs (list ocaml-lwt ocaml-duration))
+ (home-page "https://github.com/mirage/mirage-time")
+ (synopsis "Time operations for MirageOS")
+ (description
+ "Defines the signature for time-related operations for MirageOS.")
+ (license license:isc)))
+
(define-public ocaml-mirage-unix
(package
(name "ocaml-mirage-unix")
--
2.39.1
- [bug#60673], Csepp, 2023/02/15
- [bug#60673] [PATCH v2 01/39] gnu: Add ocaml-domain-name., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 04/39] gnu: Add ocaml-opam-monorepo., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 02/39] gnu: Add ocaml-macaddr., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 03/39] gnu: Add ocaml-ipaddr., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 05/39] gnu: Add ocaml-pecu., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 06/39] gnu: Add ocaml-emile., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 07/39] gnu: Add ocaml-functoria-runtime, Csepp, 2023/02/15
- [bug#60673] [PATCH v2 11/39] gnu: Add ocaml-duration., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 13/39] gnu: Add ocaml-mirage-time.,
Csepp <=
- [bug#60673] [PATCH v2 09/39] gnu: Add ocaml-functoria., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 14/39] gnu: Add aliases for ocaml-cstruct and ocaml-lwt subpackages., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 15/39] gnu: Add ocaml-ppx-cstruct., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 17/39] gnu: Add ocaml-mirage-profile., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 12/39] gnu: Add ocaml-mirage-unix., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 16/39] gnu: Add ocaml-mirage-profile-unix., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 08/39] gnu: Add ocaml-mirage-runtime., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 19/39] gnu: Add ocaml-ptime., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 20/39] gnu: Add ocaml-mirage-logs., Csepp, 2023/02/15
- [bug#60673] [PATCH v2 31/39] gnu: Add ocaml-async., Csepp, 2023/02/15