Builds for haskell-copilot-theorem

Latest: 4.0-2