copilot-cbmc-0.22: dependencies

Dependencies for copilot-cbmc-0.22

library	base (>=4.3 && <5) bytestring copilot-c99 copilot-core copilot-sbv directory (>=1.1) pretty process (>=1.0)