mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: Add ocaml-mirage-time.
* gnu/packages/ocaml.scm (ocaml-mirage-time): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net>
This commit is contained in:
parent
1132921ea6
commit
14ccbf500c
1 changed files with 20 additions and 0 deletions
|
@ -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.")
|
provided check the input and raise on negative or out of bound input.")
|
||||||
(license license:isc)))
|
(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
|
(define-public ocaml-mirage-unix
|
||||||
(package
|
(package
|
||||||
(name "ocaml-mirage-unix")
|
(name "ocaml-mirage-unix")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue