copilot-cbmc-0.23: dependencies

Dependencies for copilot-cbmc-0.23

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