robur.io -> robur.coop

robur-coop · Feb 4, 2025 · 6c03f5b · 6c03f5b
1 parent 12af28b
commit 6c03f5b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/solo5-elftool.opam b/solo5-elftool.opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
-homepage: "https://git.robur.io/robur/ocaml-solo5-elftool"
-dev-repo: "git+https://git.robur.io/robur/ocaml-solo5-elftool.git"
+homepage: "https://git.robur.coop/robur/ocaml-solo5-elftool"
+dev-repo: "git+https://git.robur.coop/robur/ocaml-solo5-elftool.git"
 bug-reports: "https://github.com/robur-coop/ocaml-solo5-elftool/issues"
 doc: "https://robur-coop.github.io/ocaml-solo5-elftool/doc"
 maintainer: [ "[email protected]" ]