liquid-fixpoint 8.10.7

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