diff options
| author | raingloom <raingloom@riseup.net> | 2023-02-15 23:00:02 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2023-02-17 15:44:55 +0000 |
| commit | 14ccbf500cfac3162938b5901c7fde87cba5e39b (patch) | |
| tree | 483ac784d7e5af71b87473bdc7bc555640c11e6d /gnu/packages/ocaml.scm | |
| parent | 1132921ea6a978941e27cdbbf69cd0108fa77af9 (diff) | |
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/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 20 |
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") |