Point cabal.project at saw-core packages in this repo.
Point cabal.project at saw-core packages in this repo.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script