liquid-fixpoint is already contained in stack.yaml so this could speedup building.
liquid-fixpoint is already contained in stack.yaml so this could speedup building.

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