copilot-cbmc-0.1: dependencies

Dependencies for copilot-cbmc-0.1

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