liquid-fixpoint 0.7.0.7

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