fixes the opam/opam dev-repo protocol which broke the release action (#…

…1478) I hope it was the last unfixed url
BinaryAnalysisPlatform · Apr 25, 2022 · 2aa7ef8 · 2aa7ef8
1 parent e205fc4
commit 2aa7ef8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/opam/opam b/opam/opam
@@ -325,7 +325,7 @@ depexts: [
   ["gmp" "llvm@9" "graphviz" "curl" "libzip" "dejagnu"]
     {os = "macos" & os-distribution = "homebrew"}
 ]
-dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
 
 synopsis: "Binary Analysis Platform"
 description: "Binary Analysis Platform"