GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Closes #449.
This commit is contained in:
David Holland 2024-11-01 23:27:45 -04:00
parent 30b4579945
commit de4cbc3868
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
refinement/macaw-refinement.cabal
View File

@ -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