The latest version of liquid-fixpoint is 0.9.6.3.1-0.
test:testparser
Dependencies
- ansi-terminal lib:ansi-terminal >=0
- array lib:array >=0
- async lib:async >=0
- attoparsec lib:attoparsec >=0
- base lib:base >=4.8 && <5
- bifunctors lib:bifunctors >=0
- binary lib:binary >=0
- boxes lib:boxes >=0
- bytestring lib:bytestring >=0
- cereal lib:cereal >=0
- cmdargs lib:cmdargs >=0
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0 && >=0
- dotgen lib:dotgen >=0
- fgl lib:fgl >=0
- fgl-visualize lib:fgl-visualize >=0
- filemanip lib:filemanip >=0
- filepath lib:filepath >=0 && >=0
- ghc-prim lib:ghc-prim >=0
- hashable lib:hashable >=0
- intern lib:intern >=0
- liquid-fixpoint lib:liquid-fixpoint >=0
- located-base lib:located-base >=0
- mtl lib:mtl >=0
- parallel lib:parallel >=0
- parsec lib:parsec >=0
- pretty lib:pretty >=0
- process lib:process >=0
- syb lib:syb >=0 && >=0
- tasty lib:tasty >=0.10
- tasty-ant-xml lib:tasty-ant-xml >=0
- tasty-hunit lib:tasty-hunit >=0.9 && >=0
- tasty-rerun lib:tasty-rerun >=1.1
- text lib:text >=0 && >=0
- text-format lib:text-format >=0
- time lib:time >=0
- transformers lib:transformers >=0
- unordered-containers lib:unordered-containers >=0
Reverse dependencies
None.