copilot-2.1.2: dependencies

Dependencies for copilot-2.1.2

library	base (>=4.0 && <5) copilot-c99 (>=2.1.2) copilot-cbmc (>=2.1.2) copilot-core (>=2.1.2) copilot-language (>=2.1.2) copilot-libraries (>=2.1.1) copilot-sbv (>=0.6)
copilot-regression	base (>=4.0 && <5) copilot-c99 (>=2.1.2) copilot-cbmc (>=2.1.2) copilot-core (>=2.1.2) copilot-language (>=2.1.2) copilot-libraries (>=2.1.1) copilot-sbv (>=0.6) directory (>=1.1) random