liquidhaskell-0.7.0.0: liquid-fixpoint/Setup.hs

import Distribution.Simple
main = defaultMain