Fix dev-repo URL

thierry-martinez · thierry-martinez · commit b45a8417c7a3 · 2022-08-09T21:02:46.000+02:00
diff --git a/packages/clangml/clangml.4.7.0/opam b/packages/clangml/clangml.4.7.0/opam
@@ -28,7 +28,7 @@ depends: [
   "odoc" {with-doc & >= "1.5.1"}
   "ocaml-migrate-parsetree" {>= "2.2.0"}
 ]
-dev-repo: "git@github.com:thierry-martinez/clangml.git"
+dev-repo: "git+https://github.com/thierry-martinez/clangml.git"
 build: [
   ["./configure" "--prefix=%{prefix}%" "--with-llvm-config=%{conf-libclang:config}%"]
   ["./build_with_bigger_stack_size.sh" "dune" "build" "-p" name "-j" jobs "@install"

Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ depends: [`
`28`	`28`	`"odoc" {with-doc & >= "1.5.1"}`
`29`	`29`	`"ocaml-migrate-parsetree" {>= "2.2.0"}`
`30`	`30`	`]`
`31`		`-dev-repo: "git@github.com:thierry-martinez/clangml.git"`
	`31`	`+dev-repo: "git+https://github.com/thierry-martinez/clangml.git"`
`32`	`32`	`build: [`
`33`	`33`	`["./configure" "--prefix=%{prefix}%" "--with-llvm-config=%{conf-libclang:config}%"]`
`34`	`34`	`["./build_with_bigger_stack_size.sh" "dune" "build" "-p" name "-j" jobs "@install"`