aern2-mp
0.2.15.1
Only display out-of-date packages.
5 Reverse deps
Accepted versions
aern2-fun
>=0.2.9
aern2-mfun
>=0.2.9
aern2-real
>=0.2.15.0
LPPaver
>=0.2.9.1 && <0.3
PropaFP
>=0.2.9.1 && <0.3