Dependencies for copilot-language-2.2.1

Libraries

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