please dune-release

This commit is contained in:
Hannes Mehnert 2022-05-22 21:42:41 +02:00
parent a94330b31f
commit f949c87e4c

View file

@ -1,9 +1,9 @@
opam-version: "2.0"
maintainer: "Robur <team@robur.coop>"
authors: ["Robur <team@robur.coop>"]
homepage: "https://git.robur.io/robur/mirage-monitoring"
homepage: "https://github.com/roburio/mirage-monitoring"
doc: "https://roburio.github.io/mirage-monitoring"
dev-repo: "git+https://git.robur.io/robur/mirage-monitoring.git"
dev-repo: "git+https://github.com/roburio/mirage-monitoring.git"
bug-reports: "https://github.com/roburio/mirage-monitoring/issues"
license: "AGPL-3.0-only"