this repo has no description

Merge pull request #27113 from dbuenzli/deprecate-rtime

rtime.0.9.3: is deprecated.

Changed files
+2 -2
packages
rtime
rtime.0.9.3
+2 -2
packages/rtime/rtime.0.9.3/opam
···
opam-version: "2.0"
-
maintainer: "https://github.com/ocaml/opam-repository/issues"
+
maintainer: "Daniel Bünzli <daniel.buenzl i@erratique.ch>"
authors: ["Daniel Bünzli"]
homepage: "http://erratique.ch/software/rtime"
build: [
···
provided by the client. Running the timeline at the appropriate pace
is left to the client."""
dev-repo: "git+https://erratique.ch/repos/rtime.git"
-
flags: light-uninstall
+
flags: [light-uninstall deprecated]
url {
src: "http://erratique.ch/software/rtime/releases/rtime-0.9.3.tbz"
checksum: [