GaloisInc / macaw

Open source binary analysis tools.
BSD 3-Clause "New" or "Revised" License
208 stars 21 forks source link

Stray git:// URL in macaw-refinement.cabal #449

Closed sauclovian-g closed 2 weeks ago

sauclovian-g commented 3 weeks ago

The cabal file for macaw-refinement lists its source location as git://github.com instead of https://github.com. GitHub dropped git:// urls quite a ways back, so this should be updated.