this repo has no description
1opam-version: "2.0"
2maintainer: "anil@recoil.org"
3authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
4license: "ISC"
5tags: "org:mirage"
6homepage: "https://github.com/mirage/mirage-clock"
7doc: "https://mirage.github.io/mirage-clock/"
8bug-reports: "https://github.com/mirage/mirage-clock/issues"
9synopsis: "Unix-based implementation for the MirageOS Clock interface"
10description: """
11The Unix implementation of the MirageOS Clock interface uses
12`gettimeofday` or `clock_gettime`, depending on
13which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)).
14"""
15depends: [
16 "ocaml" {>= "4.04.2"}
17 "dune"
18 "mirage-clock" {>= "1.2.0" & < "3.0.0"}
19 "mirage-clock-lwt" {>= "1.2.0"}
20 "lwt"
21]
22build: [
23 ["dune" "subst"] {dev}
24 ["dune" "build" "-p" name "-j" jobs]
25 ["dune" "runtest" "-p" name] {with-test}
26]
27dev-repo: "git+https://github.com/mirage/mirage-clock.git"
28url {
29 src:
30 "https://github.com/mirage/mirage-clock/releases/download/v2.0.0/mirage-clock-v2.0.0.tbz"
31 checksum: [
32 "sha256=ae35e9941b6bce1fa8313605e0c4d15345cc6c883d2e57c8877ff1e41fa9d197"
33 "md5=d51d5ec423bcb13bb03e7ebffc855f6a"
34 ]
35}