copilot-cbmc-0.11: dependencies

Dependencies for copilot-cbmc-0.11

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