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

Dependencies for afv-0.1.1

Executables

afv

• base (>=4 && <5)
• bytestring (>=0.9 && <1.0)
• directory (>=1.0 && <1.1)
• language-c (>=0.3.1.1)
• mtl (>=1.1 && <1.2)
• process (>=1.0 && <1.1)
• yices (>=0.0.0.6)