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.08.0"}
17 "dune" {>= "2.8"}
18 "dune-configurator"
19 "mirage-clock" {= version}
20]
21build: [
22 ["dune" "subst"] {dev}
23 ["dune" "build" "-p" name "-j" jobs]
24 ["dune" "runtest" "-p" name] {with-test}
25]
26dev-repo: "git+https://github.com/mirage/mirage-clock.git"
27url {
28 src:
29 "https://github.com/mirage/mirage-clock/releases/download/v4.2.0/mirage-clock-4.2.0.tbz"
30 checksum: [
31 "sha256=fa17d15d5be23c79ba741f5f7cb88ed7112de16a4410cea81c71b98086889847"
32 "sha512=05a359dc8400d4ca200ff255dbd030acd33d2c4acb5020838f772c02cdb5f243f3dbafbc43a8cd51e6b5923a140f84c9e7ea25b2c0fa277bb68b996190d36e3b"
33 ]
34}
35x-commit-hash: "f457572bfedb9586c8bf9eaa9ece7e53677856e3"
36x-maintenance-intent: [ "(none)" ]