From e67b401cd12f7a5496092ad96613001d0074fee6 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 27 Jan 2022 12:19:15 +0100 Subject: [PATCH] opam: moved to roburio --- monitoring-experiments.opam | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam index 97313b1..59ce76c 100644 --- a/monitoring-experiments.opam +++ b/monitoring-experiments.opam @@ -1,10 +1,10 @@ opam-version: "2.0" maintainer: "Hannes Mehnert " authors: ["Hannes Mehnert "] -homepage: "https://github.com/hannesm/monitoring-experiments" -doc: "https://hannesm.github.io/monitoring-experiments" -dev-repo: "git+https://github.com/hannesm/monitoring-experiments.git" -bug-reports: "https://github.com/mirage/monitoring-experiments/issues" +homepage: "https://github.com/roburio/monitoring-experiments" +doc: "https://roburio.github.io/monitoring-experiments" +dev-repo: "git+https://github.com/roburio/monitoring-experiments.git" +bug-reports: "https://github.com/roburio/monitoring-experiments/issues" license: "AGPL" depends: [