this repo has no description

Merge pull request #19337 from zapashcanon/exit

fix many dev-repo fields

Kate d4ece0be e44f894a

Changed files
+6 -6
packages
exit
exit.0.0.1
hc
hc.0.0.1
memo
memo.0.0.1
omg
omg.0.0.1
opazl
opazl.0.0.1
so
so.0.0.1
+1 -1
packages/exit/exit.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/exit.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/exit.git"
url {
src: "https://fs.zapashcanon.fr/archive/exit/exit-0.0.1.tbz"
checksum: [
+1 -1
packages/hc/hc.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/hc.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/hc.git"
url {
src: "https://fs.zapashcanon.fr/archive/hc/hc-0.0.1.tbz"
checksum: [
+1 -1
packages/memo/memo.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/memo.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/memo.git"
url {
src: "https://fs.zapashcanon.fr/archive/memo/memo-0.0.1.tbz"
checksum: [
+1 -1
packages/omg/omg.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/omg.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/omg.git"
url {
src: "https://fs.zapashcanon.fr/archive/omg/omg-0.0.1.tbz"
checksum: [
+1 -1
packages/opazl/opazl.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/opazl.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/opazl.git"
url {
src: "https://fs.zapashcanon.fr/archive/opazl/opazl-0.0.1.tbz"
checksum: [
+1 -1
packages/so/so.0.0.1/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://git.zapashcanon.fr/zapashcanon/so.git"
+
dev-repo: "git+https://git.zapashcanon.fr/zapashcanon/so.git"
url {
src: "https://fs.zapashcanon.fr/archive/so/so-0.0.1.tbz"
checksum: [