GNU bug report logs -
#60673
[PATCH 01/39] gnu: Add ocaml-domain-name.
Previous Next
Reported by: Csepp <raingloom <at> riseup.net>
Date: Mon, 9 Jan 2023 00:36:03 UTC
Severity: normal
Tags: moreinfo, patch
Merged with 60671,
60672,
60674,
60675,
60676,
60677,
60678,
60679,
60680,
60681,
60682,
60683
Done: Christopher Baines <mail <at> cbaines.net>
Bug is archived. No further changes may be made.
Full log
Message #20 received at submit <at> debbugs.gnu.org (full text, mbox):
From: raingloom <raingloom <at> riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage-clock): New variable.
---
gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 33bc997dc5..70129a5b6b 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3833,6 +3833,28 @@ (define-public ocaml-mirage-time
"Defines the signature for time-related operations for MirageOS.")
(license license:isc)))
+(define-public ocaml-mirage-clock
+ (package
+ (name "ocaml-mirage-clock")
+ (version "4.2.0")
+ (source (origin
+ (method url-fetch)
+ (uri
+ "https://github.com/mirage/mirage-clock/releases/download/v4.2.0/mirage-clock-4.2.0.tbz")
+ (sha256
+ (base32
+ "0iwqi2381fbi3jlcw424dbhjs4fpisw7qpqzfjx7jg72bdfx25zs"))))
+ (build-system dune-build-system)
+ (home-page "https://github.com/mirage/mirage-clock")
+ (synopsis "Libraries and module types for portable clocks")
+ (description
+ "This library implements portable support for an operating system
+timesource that is compatible with the MirageOS library interfaces. It
+implements an @code{MCLOCK} module that represents a monotonic timesource
+since an arbitrary point, and @code{PCLOCK} which counts time since the Unix
+epoch.")
+ (license license:isc)))
+
(define-public ocaml-mirage-unix
(package
(name "ocaml-mirage-unix")
--
2.38.1
This bug report was last modified 2 years and 149 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.