exe:afv

Dependencies

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

Reverse dependencies

None.