The latest version of liquid-platform is 0.9.2.8-0.
exe:gradual
Dependencies
- base lib:base >=4.8.1.0 && <5
- cmdargs lib:cmdargs >=0
- hscolour lib:hscolour >=0
- liquid-fixpoint lib:liquid-fixpoint >=0.7.0.5
- liquidhaskell lib:liquidhaskell >=0.8.10.1
Reverse dependencies
None.