Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
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