copilot-theorem-2.2.1: dependencies

Dependencies for copilot-theorem-2.2.1

library	ansi-terminal base (>=4.0 && <5) bimap containers copilot-core (==2.2.1) data-default directory mtl parsec pretty process random smtlib2 (>=0.3 && <1.0) transformers xml