liquid-fixpoint 0.5.0.1

2 Reverse deps Accepted versions
liquidhaskell ==0.5.*
target >=0.4