aern2-mp 0.2.7.0

1 Reverse dep Accepted versions
aern2-real >=0.2.7