this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas@gazagnaire.org"
3authors: [
4 "Thomas Gazagnaire"
5 "Anil Madhavapeddy"
6 "Gabriel Radanne"
7 "Mindy Preston"
8 "Thomas Leonard"
9 "Nicolas Ojeda Bar"
10 "Dave Scott"
11 "David Kaloper"
12 "Hannes Mehnert"
13 "Richard Mortier"
14]
15license: "ISC"
16tags: "org:mirage"
17homepage: "https://github.com/mirage/mirage-time"
18doc: "https://mirage.github.io/mirage-time/"
19bug-reports: "https://github.com/mirage/mirage-time/issues"
20depends: [
21 "ocaml" {>= "4.06.0"}
22 "dune" {>= "1.0"}
23 "lwt" {>= "4.0.0"}
24]
25build: [
26 ["dune" "subst"] {dev}
27 ["dune" "build" "-p" name "-j" jobs]
28]
29dev-repo: "git+https://github.com/mirage/mirage-time.git"
30synopsis: "Time operations for MirageOS"
31description: """
32mirage-time defines `Mirage_time.S`, the signature for time-related operations for MirageOS.
33"""
34url {
35 src:
36 "https://github.com/mirage/mirage-time/releases/download/v2.0.1/mirage-time-v2.0.1.tbz"
37 checksum: [
38 "sha256=002e06d2d2cf22bcb15e497f8c09d0618665b54b1a686681662930771ea9d5f0"
39 "sha512=0c195c00f4fd33453a12f3677bdaa89ce7055b39aa067b9ea0b4062aec51cfd8a591f2e9b291ad421e11ca57eebaf9b388d104322b9e1d34def7906a8c1b2963"
40 ]
41}