liquid-fixpoint 0.8.10.2

4 Reverse deps Accepted versions
g2 >=0.7.0.7
liquid-platform >=0.7.0.5
liquidhaskell >=0.8.10.1 && <0.8.10.2.1
target >=0.4