mixed-types-num 0.6.2

6 Reverse deps Accepted versions
aern2-fun >=0.5.9
aern2-mfun >=0.5.9
aern2-mp >=0.6.2
aern2-real >=0.6.2
LPPaver >=0.5.10 && <0.6
PropaFP >=0.5.10 && <0.6