liquid-fixpoint 8.10.7

4 Reverse deps Accepted versions
g2 >=0.7.0.7
liquid-platform >=0.9.0.2
liquidhaskell ==0.9.0.2.1
target >=0.4