maxima 5.37.0 -> 5.37.1 maxima 5.37.0 -> 5.37.2 wxMaxima 15.04.0 -> 15.08.0 wxMaxima 15.04.0 -> 15.08.1 wxMaxima 15.04.0 -> 15.08.2