robur/mirage-monitoring
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

opam: moved to roburio

Browse source
This commit is contained in:
Hannes Mehnert 2022-01-27 12:19:15 +01:00
parent 68ac9bc5d5
commit e67b401cd1
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
monitoring-experiments.opam
View file

@ -1,10 +1,10 @@
opam-version: "2.0" opam-version: "2.0"
maintainer: "Hannes Mehnert <hannes@mehnert.org>" maintainer: "Hannes Mehnert <hannes@mehnert.org>"
authors: ["Hannes Mehnert <hannes@mehnert.org>"] authors: ["Hannes Mehnert <hannes@mehnert.org>"]
homepage: "https://github.com/hannesm/monitoring-experiments" homepage: "https://github.com/roburio/monitoring-experiments"
doc: "https://hannesm.github.io/monitoring-experiments" doc: "https://roburio.github.io/monitoring-experiments"
dev-repo: "git+https://github.com/hannesm/monitoring-experiments.git" dev-repo: "git+https://github.com/roburio/monitoring-experiments.git"
bug-reports: "https://github.com/mirage/monitoring-experiments/issues" bug-reports: "https://github.com/roburio/monitoring-experiments/issues"
license: "AGPL" license: "AGPL"
depends: [ depends: [