From 71c81a41330bdad5f67eda613ccfe47f36dcc4e0 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 27 Jan 2022 12:18:23 +0100 Subject: [PATCH] monitoring-experiments transfered to roburio on github --- packages/monitoring-experiments.0.0.2/opam | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/packages/monitoring-experiments.0.0.2/opam b/packages/monitoring-experiments.0.0.2/opam index f864ad1..9fa960b 100644 --- a/packages/monitoring-experiments.0.0.2/opam +++ b/packages/monitoring-experiments.0.0.2/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: [ @@ -31,5 +31,5 @@ description: """ bla bla """ url { - src: "git+https://github.com/hannesm/monitoring-experiments.git#future-310" + src: "git+https://github.com/roburio/monitoring-experiments.git" }