aern2-mfun 0.2.9.0

1 Reverse dep Accepted versions
PropaFP >=0.2.9 && <0.3