liquid-fixpoint 0.7.0.7

2 Reverse deps Accepted versions
liquidhaskell >=0.7.0.7
target >=0.4