copilot-2.2.1: dependencies

Dependencies for copilot-2.2.1

library	base (>=4.0 && <5) copilot-c99 (>=2.2.1) copilot-cbmc (>=2.2.1) copilot-core (>=2.2.1) copilot-language (>=2.2.1) copilot-libraries (>=2.2.1) copilot-sbv (>=2.2.1) copilot-theorem (>=2.2.1)
copilot-regression	base (>=4.0 && <5) copilot-c99 (>=2.2.1) copilot-cbmc (>=2.2.1) copilot-core (>=2.2.1) copilot-language (>=2.2.1) copilot-libraries (>=2.2.1) copilot-sbv (>=2.2.1) copilot-theorem (>=2.2.1) directory (>=1.2.1) random