this repo has no description
[new release] mirage-ptime (5.0.0)
CHANGES:
* Renamed to mirage-ptime (from mirage-clock), only the PCLOCK part
* Use Ptime.t directly in the interface
* use "dune variants" for the different implementations
+36
+36
packages/mirage-ptime/mirage-ptime.5.0.0/opam
+36
packages/mirage-ptime/mirage-ptime.5.0.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "anil@recoil.org"
3
+
authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
4
+
license: "ISC"
5
+
tags: "org:mirage"
6
+
homepage: "https://github.com/mirage/mirage-ptime"
7
+
doc: "https://mirage.github.io/mirage-ptime/"
8
+
bug-reports: "https://github.com/mirage/mirage-ptime/issues"
9
+
synopsis: "Libraries and module types for portable clocks"
10
+
description: """
11
+
This library implements portable support for an operating system timesource
12
+
that is compatible with the [MirageOS](https://mirageos.org) library interfaces
13
+
found in: <https://github.com/mirage/mirage>
14
+
15
+
It implements a POSIX clock which counts time since the Unix epoch.
16
+
"""
17
+
depends: [
18
+
"ocaml" {>= "4.08.0"}
19
+
"dune" {>= "2.8"}
20
+
"ptime" {>= "1.1.0"}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
["dune" "build" "-p" name "-j" jobs]
25
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
26
+
]
27
+
dev-repo: "git+https://github.com/mirage/mirage-ptime.git"
28
+
url {
29
+
src:
30
+
"https://github.com/mirage/mirage-ptime/releases/download/v5.0.0/mirage-ptime-5.0.0.tbz"
31
+
checksum: [
32
+
"sha256=d553560468d5b94db25b05738c2499f290ee66b14ac22b4302e667f1fa443471"
33
+
"sha512=b7de3bf598e3ec36b3646633a0244589b75ab12e4ddcf5f964e98e639933ba815ea813a6a3eb6bfc849af7a346f2be3dbd3b0047d825f9dfe0a4c6ffed8e8fce"
34
+
]
35
+
}
36
+
x-commit-hash: "48b9d1e2928688e1dbe1dc52a04322bcb3c2dd17"