The latest version of afv is 0.1.1-0.
exe:afv
Dependencies
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0.9.1 && <0.9.2
- directory lib:directory >=1.0 && <1.1
- language-c lib:language-c >=0.3 && <0.4
- mtl lib:mtl >=1.1 && <1.2
- process lib:process >=1.0 && <1.1
- yices lib:yices >=0.0.0.4 && <0.1
Reverse dependencies
None.