liquid-fixpoint 0.8.0.2

3 Reverse deps Accepted versions
g2 >=0.7.0.7
liquidhaskell >=0.8.0.0
target >=0.4