liquid-fixpoint
0.8.0.2
Only display out-of-date packages.
3 Reverse deps
Accepted versions
g2
>=0.7.0.7
liquidhaskell
>=0.8.0.0
target
>=0.4