aern2-real 0.2.11.0

1 Reverse dep Accepted versions
aern2-fun >=0.2.9