The latest version of liquid-fixpoint is 0.9.6.3.1-0.
exe:fixpoint
Dependencies
- ansi-terminal lib:ansi-terminal >=0
- array lib:array >=0
- base lib:base >=4.7 && <5
- bifunctors lib:bifunctors >=0
- bytestring lib:bytestring >=0
- cmdargs lib:cmdargs >=0
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- hashable lib:hashable >=0
- liquid-fixpoint lib:liquid-fixpoint >=0
- mtl lib:mtl >=0
- parsec lib:parsec >=0
- pretty lib:pretty >=0
- process lib:process >=0
- syb lib:syb >=0 && >=0
- text lib:text >=0
- text-format lib:text-format >=0
- unordered-containers lib:unordered-containers >=0
Reverse dependencies
None.