fixing dev-repo URL

vzaliva · Oct 10, 2019 · c522a1a · c522a1a
1 parent 5626031
commit c522a1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-switch.opam b/coq-switch.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 maintainer: "vzaliva@cmu.edu"
 homepage: "https://github.com/vzaliva/coq-switch"
-dev-repo: "git@github.com:vzaliva/coq-switch.git"
+dev-repo: "git://git@github.com:vzaliva/coq-switch.git"
 bug-reports: "https://github.com/vzaliva/coq-switch/issues"
 authors: ["Vadim Zaliva <vzaliva@cmu.edu>"]
 license: "MIT"