copilot-language-2.2.0: dependencies

Dependencies for copilot-language-2.2.0

library	array base (>=4.0 && <5) containers (>=0.4) copilot-core (>=2.2.0) copilot-theorem (>=2.0) data-reify (>=0.6) ghc-prim (>=0.2) mtl (>=2.0 && <3)