copilot-cbmc-2.1.2: dependencies

Dependencies for copilot-cbmc-2.1.2

library	base (>=4.0 && <5.0) bytestring (>=0.9) copilot-c99 (>=0.2.4) copilot-core (>=0.2.4) copilot-sbv (>=0.6) directory (>=1.1) pretty (>=1.0.1) process (>=1.0)