this repo has no description

update from upstream

Changed files
+3 -2
packages
mirage-ptime
mirage-ptime.5.0.0
+3 -2
packages/mirage-ptime/mirage-ptime.5.0.0/opam
···
opam-version: "2.0"
-
maintainer: "anil@recoil.org"
-
authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
+
maintainer: "hannes@mehnert.org"
+
authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray" "Hannes Mehnert"]
license: "ISC"
tags: "org:mirage"
homepage: "https://github.com/mirage/mirage-ptime"
···
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
dev-repo: "git+https://github.com/mirage/mirage-ptime.git"
+
x-maintenance-intent: [ "(latest)" ]
url {
src:
"https://github.com/mirage/mirage-ptime/releases/download/v5.0.0/mirage-ptime-5.0.0.tbz"