copilot-2.1.1: dependencies

Dependencies for copilot-2.1.1

library	base (>=4.0 && <=5.0) copilot-core (>=0.2.3) copilot-language (>=0.4) copilot-libraries (>=0.4)
copilot-regression	base (>=4.0) copilot-c99 (>=0.2) copilot-cbmc copilot-core copilot-language copilot-libraries copilot-sbv (>=0.6) directory (>=1.1) random