Enable verbose stack build, so we may see eventually what is happening with the permissions.
Enable verbose stack build, so we may see eventually what is happening with the permissions.

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell