Skip to content

Commit 537e2af

Browse files
authored
Merge pull request #28756 from hannesm/release-mirage-ptime-v5.2.0
[new release] mirage-ptime (5.2.0)
2 parents 0203713 + 3e58106 commit 537e2af

File tree

1 file changed

+37
-0
lines changed
  • packages/mirage-ptime/mirage-ptime.5.2.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.2.0/mirage-ptime-5.2.0.tbz"
32+
checksum: [
33+
"sha256=60e5a926b7d0286f64842c0f6f99595ed7fe7e2a783740750009f663dcd12f28"
34+
"sha512=c8f6ba732bf103fa6509708f58e4f7fe3b317d3c35d62662df2454a04cc3278f036eee125a4a6d12f4cd24d3c6aaf49bb46f3fc5a76bff5c6282c915de0a631f"
35+
]
36+
}
37+
x-commit-hash: "3ad2d158a287f1d5721a8951d0f6d1dea30446ac"

0 commit comments

Comments
 (0)