liquid-fixpoint 0.7.0.5

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