• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for copilot-cbmc-2.2.0

Libraries

copilot-cbmc

• base (>=4.0 && <5.0)
• bytestring (>=0.9)
• copilot-c99 (>=0.2.4)
• copilot-core (>=0.2.4)
• copilot-sbv (>=0.6)
• directory (>=1.1)
• pretty (>=1.0.1)
• process (>=1.0)