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

Dependencies for improve-0.4.0

Libraries

improve

• base (>=4.0 && <5)
• mtl (>=1.1.0.1 && <2.1)
• yices (>=0.0.0.7 && <0.0.1)