liquid-fixpoint 0.7.0.6

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