copilot-cbmc-2.2.1: dependencies

Dependencies for copilot-cbmc-2.2.1

library	base (>=4.0 && <5.0) bytestring (>=0.9) copilot-c99 (>=2.2.1) copilot-core (>=2.2.1) copilot-sbv (>=2.2.1) directory (>=1.1) pretty (>=1.0.1) process (>=1.0)