this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
3maintainer: "anil@recoil.org"
4homepage: "https://github.com/mirage/mirage-clock"
5bug-reports: "https://github.com/mirage/mirage-clock/issues"
6dev-repo: "git+https://github.com/mirage/mirage-clock.git"
7doc: "https://mirage.github.io/mirage-clock/"
8
9license: "ISC"
10tags: ["org:mirage"]
11depends: [
12 "ocaml"
13 "jbuilder" {>= "1.0+beta9"}
14 "mirage-clock" {>= "1.2.0" & < "3.0.0"}
15 "lwt"
16]
17build: [
18 [ "jbuilder" "subst" "-p" name ] {dev}
19 [ "jbuilder" "build" "-p" name "-j" jobs ]
20]
21synopsis: "Libraries and module types for portable clocks"
22description: """
23This library implements portable support for an operating system timesource
24that is compatible with the [MirageOS](https://mirage.io) library interfaces
25found in: <https://github.com/mirage/mirage>
26
27It implements an `MCLOCK` module that represents a monotonic timesource
28since an arbitrary point, and `PCLOCK` which counts time since the Unix
29epoch.
30
31The following sources are used:
32
33* The Unix version uses `gettimeofday` or `clock_gettime`, depending on
34 which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)).
35* The freestanding version uses the paravirtual clock source from the hypervisor."""
36url {
37 src:
38 "https://github.com/mirage/mirage-clock/releases/download/v1.3.0/mirage-clock-1.3.0.tbz"
39 checksum: [
40 "sha256=3f46c17bc135994feb4bd262cb1f9ffa637a4047670fa9b34ab33fd7a3260ff7"
41 "md5=eccfb4b7361bcc639744fd18d17cb582"
42 ]
43}
44flags: deprecated
45post-messages: [ "mirage-clock-lwt is deprecated, and has been folded into mirage-clock" ]