summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorraingloom <raingloom@riseup.net>2023-02-15 23:00:02 +0100
committerChristopher Baines <mail@cbaines.net>2023-02-17 15:44:55 +0000
commit14ccbf500cfac3162938b5901c7fde87cba5e39b (patch)
tree483ac784d7e5af71b87473bdc7bc555640c11e6d /gnu
parent1132921ea6a978941e27cdbbf69cd0108fa77af9 (diff)
downloadguix-14ccbf500cfac3162938b5901c7fde87cba5e39b.tar.gz
gnu: Add ocaml-mirage-time.
* gnu/packages/ocaml.scm (ocaml-mirage-time): New variable.

Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/ocaml.scm20
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ca53dd67ee..6abd38e1ad 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3800,6 +3800,26 @@ unsigned 64 bit integer.  This has a range of up to 584 years.  Functions
 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")