ghc-typelits-presburger
0.7.4.1
Only display out-of-date packages.
4 Reverse deps
Accepted versions
computational-algebra
>=0.1.1.1 && <0.2
singletons-presburger
>=0.4
sized
>=0.7.2
type-natural
>=0.7.4.1