Change git:// url to https:// in macaw-refinement.cabal.

Closes #449.
GaloisInc · Nov 2, 2024 · de4cbc3 · de4cbc3
1 parent 30b4579
commit de4cbc3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/refinement/macaw-refinement.cabal b/refinement/macaw-refinement.cabal
@@ -42,7 +42,7 @@ extra-source-files:  Changelog.md
 
 source-repository head
   type: git
-  location: git://github.com/GaloisInc/macaw.git
+  location: https://github.com/GaloisInc/macaw.git
 
 
 library