liquid-fixpoint 8.10.7

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