move git git.robur.coop
This commit is contained in:
parent
8c9723c107
commit
d9a110e36d
5 changed files with 5 additions and 5 deletions
|
@ -63,5 +63,5 @@ Produced binaries can be downloaded and executed.
|
||||||
"""
|
"""
|
||||||
|
|
||||||
url {
|
url {
|
||||||
src: "git+https://git.robur.io/robur/builder-web.git"
|
src: "git+https://git.robur.coop/robur/builder-web.git"
|
||||||
}
|
}
|
||||||
|
|
|
@ -57,4 +57,4 @@ x-opam-monorepo-opam-provided: ["mirage"
|
||||||
"ocaml""ocaml-solo5""opam-monorepo"
|
"ocaml""ocaml-solo5""opam-monorepo"
|
||||||
"solo5"]
|
"solo5"]
|
||||||
|
|
||||||
url { src: "git+https://git.robur.io/robur/dns-resolver.git" }
|
url { src: "git+https://git.robur.coop/robur/dns-resolver.git" }
|
||||||
|
|
|
@ -60,4 +60,4 @@ x-opam-monorepo-opam-provided: ["mirage"
|
||||||
"ocaml""ocaml-solo5""opam-monorepo"
|
"ocaml""ocaml-solo5""opam-monorepo"
|
||||||
"solo5"]
|
"solo5"]
|
||||||
|
|
||||||
url { src: "git+https://git.robur.io/robur/dns-resolver.git#future" }
|
url { src: "git+https://git.robur.coop/robur/dns-resolver.git#future" }
|
||||||
|
|
|
@ -70,4 +70,4 @@ x-opam-monorepo-opam-provided: ["mirage"
|
||||||
"ocaml-solo5""opam-monorepo"
|
"ocaml-solo5""opam-monorepo"
|
||||||
"solo5"]
|
"solo5"]
|
||||||
|
|
||||||
url { src: "git+https://git.robur.io/robur/opam-mirror.git" }
|
url { src: "git+https://git.robur.coop/robur/opam-mirror.git" }
|
||||||
|
|
|
@ -57,4 +57,4 @@ x-opam-monorepo-opam-provided: ["mirage"
|
||||||
"ocaml-solo5""opam-monorepo"
|
"ocaml-solo5""opam-monorepo"
|
||||||
"solo5"]
|
"solo5"]
|
||||||
|
|
||||||
url { src: "git+https://git.robur.io/robur/redirect.git" }
|
url { src: "git+https://git.robur.coop/robur/redirect.git" }
|
||||||
|
|
Loading…
Reference in a new issue