copilot-theorem-2.2.0: dependencies

Dependencies for copilot-theorem-2.2.0

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