(address . guix-patches@gnu.org)(name . raingloom)(address . raingloom@riseup.net)
20230109003529.23375-13-raingloom@riseup.net
From: raingloom <raingloom@riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage-time): New variable.
---
gnu/packages/ocaml.scm | 19 +++++++++++++++++++
1 file changed, 19 insertions(+)
Toggle diff (32 lines)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 83413fa541..53252aac03 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3809,6 +3809,25 @@ (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
+ "https://github.com/mirage/mirage-time/releases/download/v3.0.0/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.38.1