Skip to content

Commit 3fc3506

Browse files
committed
[new release] mirage-ptime (5.1.0)
CHANGES: * Add support for unikraft (mirage/mirage-ptime#1 @shym @Firobe @fabbing)
1 parent f2cd184 commit 3fc3506

File tree

1 file changed

+37
-0
lines changed
  • packages/mirage-ptime/mirage-ptime.5.1.0

1 file changed

+37
-0
lines changed
Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
maintainer: "[email protected]"
3+
authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray" "Hannes Mehnert"]
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+
x-maintenance-intent: [ "(latest)" ]
29+
url {
30+
src:
31+
"https://github.com/mirage/mirage-ptime/releases/download/v5.1.0/mirage-ptime-5.1.0.tbz"
32+
checksum: [
33+
"sha256=e9b3db31365e1a895130c3789e6adcf996771ea8e7016b63e15ecbe1f38a29f6"
34+
"sha512=276a61bfcf7a025a3a6269b52f85ed158f9600385e1c2c2cf21d74985924bb013e703b804e7b15b7249708ef0cdee3c7c0da3cdf20b858a2b1d0da65829ed113"
35+
]
36+
}
37+
x-commit-hash: "d2336b223b830c415947c7c4196f2a80fff87dce"

0 commit comments

Comments
 (0)