Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
copilot-2.0.1
library
base
(>=4.0 && <5)
copilot-cbmc
copilot-core
copilot-language
copilot-libraries
copilot-regression
base
(>=4.0)
copilot-c99
(>=0.2)
copilot-core
copilot-language
copilot-libraries
directory
(>=1.1)