Resolving dependencies...
cabal: Could not resolve dependencies:
trying: copilot-language-2.2.0 (user goal)
next goal: copilot-theorem (dependency of copilot-language-2.2.0)
Dependency tree exhaustively searched.