From de4cbc386845a6483fd0bd4ed328d312eec8d24a Mon Sep 17 00:00:00 2001 From: David Holland Date: Fri, 1 Nov 2024 23:27:45 -0400 Subject: [PATCH] Change git:// url to https:// in macaw-refinement.cabal. Closes #449. --- refinement/macaw-refinement.cabal | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/refinement/macaw-refinement.cabal b/refinement/macaw-refinement.cabal index 13185503..3f92bc54 100644 --- 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