aern2-mp 0.2.11.0

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