liquid-fixpoint 0.8.10.1

4 Reverse deps Accepted versions
g2 >=0.7.0.7
liquid-platform >=0.7.0.5
liquidhaskell >=0.8.10.1
target >=0.4