Error

two or more packages specified (haskell-copilot-theorem jessie)