copilot-language-3.12: dependencies

Dependencies for copilot-language-3.12

library	array (>=0.5 && <0.6) base (>=4.9 && <5) containers (>=0.4 && <0.7) copilot-core (>=3.12 && <3.13) copilot-interpreter (>=3.12 && <3.13) copilot-prettyprinter (>=3.12 && <3.13) copilot-theorem (>=3.12 && <3.13) data-reify (>=0.6 && <0.7) mtl (>=2.0 && <3)