Merge pull request #3379 from LukeXuan/master

git protocol deprecated, use https instead
FStarLang · Aug 17, 2024 · 3241839 · 3241839
2 parents e02d25f + c614f39
commit 3241839
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fstar.opam b/fstar.opam
@@ -29,7 +29,7 @@ build: [
 install: [
   [make "PREFIX=%{prefix}%" "install"]
 ]
-dev-repo: "git://github.com/FStarLang/FStar"
+dev-repo: "git+https://github.com/FStarLang/FStar"
 bug-reports: "https://github.com/FStarLang/FStar/issues"
 synopsis: "Verification system for effectful programs"
 url {