copilot-theorem-3.1: dependencies

Dependencies for copilot-theorem-3.1

library	ansi-terminal (>=0.8 && <0.10) base (>=4.9 && <5) bimap (>=0.3 && <0.4) containers (>=0.4 && <0.7) copilot-core (>=3.1 && <3.2) data-default (>=0.7 && <0.8) directory (>=1.3 && <1.4) mtl (>=2.0 && <2.3) parsec (>=2.0 && <3.2) pretty (>=1.0 && <1.2) process (>=1.6 && <1.7) random (>=1.1 && <1.2) transformers (>=0.5 && <0.6) xml (>=1.3 && <1.4)