copilot-cbmc-0.2: dependencies

Dependencies for copilot-cbmc-0.2

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