this repo has no description

fix exit dev-repo

Changed files
+1 -1
packages
exit
exit.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: [