copilot-verifier-4.5: Setup.hs

import Distribution.Simple
main = defaultMain