Source

z3-haskell / Setup.hs

Full commit
import Distribution.Simple
main = defaultMain