mixed-types-num 0.5.12

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