liquid-fixpoint
0.8.10.2
Only display out-of-date packages.
4 Reverse deps
Accepted versions
g2
>=0.7.0.7
liquid-platform
>=0.7.0.5
liquidhaskell
>=0.8.10.1 && <0.8.10.2.1
target
>=0.4