aern2-mp 0.2.11.0

5 Reverse deps Accepted versions
aern2-fun >=0.2.9
aern2-mfun >=0.2.9
aern2-real >=0.2.11.0
LPPaver >=0.2.9.1 && <0.3
PropaFP >=0.2.9.1 && <0.3