this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas@gazagnaire.org"
3homepage: "https://github.com/mirage/mirage-time"
4bug-reports: "https://github.com/mirage/mirage-time/issues"
5dev-repo: "git+https://github.com/mirage/mirage-time.git"
6doc: "https://mirage.github.io/mirage-time/"
7authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
8 "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
9 "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"]
10tags: [ "org:mirage"]
11license: "ISC"
12
13build: [
14 [ "jbuilder" "subst" "-p" name ] {dev}
15 [ "jbuilder" "build" "-p" name "-j" jobs ]
16]
17
18depends: [
19 "ocaml"
20 "jbuilder" {>= "1.0+beta9"}
21 "mirage-device" {< "2.0.0"}
22]
23synopsis: "Time operations for MirageOS"
24description: """
25mirage-time defines [Mirage_time.S][1] the signature for
26time-related operations for MirageOS.
27
28[1]: https://mirage.github.io/mirage-time/Mirage_time.S.html
29
30### Installation
31
32`mirage-time` can be installed with `opam`:
33
34 opam install mirage-time
35
36If you don't use `opam` consult the [`opam`](opam) file for build
37instructions.
38
39### Documentation
40
41The documentation and API reference is automatically generated by
42`ocamldoc` from the interfaces. It can be consulted [online][2].
43
44[2]: https://mirage.github.io/mirage-time/Mirage_time.html"""
45url {
46 src:
47 "https://github.com/mirage/mirage-time/releases/download/v1.1.0/mirage-time-1.1.0.tbz"
48 checksum: [
49 "sha256=5b7dc792ea71fdec47c3f79e41d472c4a8eac82e990e54ed4fe2d8b784cdcb17"
50 "md5=75603dd15ec9c343da74259771a27d85"
51 ]
52}