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.08.0"}
22 "dune" {>= "1.0"}
23 "mirage-time" {=version}
24 "lwt" {>= "4.0.0"}
25 "duration"
26]
27build: [
28 ["dune" "subst"] {dev}
29 ["dune" "build" "-p" name "-j" jobs]
30]
31dev-repo: "git+https://github.com/mirage/mirage-time.git"
32synopsis: "Time operations for MirageOS on Unix"
33description: """
34mirage-time-unix defines `Time`, an implementation of the `Mirage_time.S` signature for the Unix backend.
35"""
36url {
37 src:
38 "https://github.com/mirage/mirage-time/releases/download/v3.0.0/mirage-time-v3.0.0.tbz"
39 checksum: [
40 "sha256=0d40949b58e2c7e8b762ccc8ce066345046233c8c95d0e3d17a242ff289cbd7c"
41 "sha512=066f9271c7871eb754cf9b3f8853f4861ce80d1cc31eb9a2384f3cd62441e15aa7636d19cc3bee6d56219fa5653b9f7da7d9b9d659fd1f7cd17326e7ba1715eb"
42 ]
43}
44x-commit-hash: "c68f199b1952f0656526a3212f82afd2a49c1f00"
45x-maintenance-intent: [ "(none)" ]