opam-version: "2.0" maintainer: "anil@recoil.org" authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"] license: "ISC" tags: "org:mirage" homepage: "https://github.com/mirage/mirage-clock" doc: "https://mirage.github.io/mirage-clock/" bug-reports: "https://github.com/mirage/mirage-clock/issues" synopsis: "Unix-based implementation for the MirageOS Clock interface" description: """ The Unix implementation of the MirageOS Clock interface uses `gettimeofday` or `clock_gettime`, depending on which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)). """ depends: [ "ocaml" {>= "4.06.0"} "dune" "dune-configurator" "mirage-clock" {= version} ] build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name] {with-test} ] dev-repo: "git+https://github.com/mirage/mirage-clock.git" url { src: "https://github.com/mirage/mirage-clock/releases/download/v3.0.1/mirage-clock-v3.0.1.tbz" checksum: [ "sha256=43e90dd608cf04e96648adbcb3da14b876f68494eeb195291b04e564e06da28a" "sha512=d37e2e3514178db8056de5d4c9a4c79e2a88e0b46905dd755cd865f0801b636d942d2744d7a56457c3cfc3bc0c538e9cc3cb6b51eb542abf3dda4cf1c9aa8885" ] }