Dependencies for copilot-language-2.2.0

Libraries

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)