liquid-fixpoint
0.7.0.5
Only display out-of-date packages.
2 Reverse deps
Accepted versions
liquidhaskell
>=0.7.0.5
target
>=0.4