liquid-fixpoint 0.6.0.1

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