Maxima 5.25.1



Hi, I've tagged version-5_25_1 in Git and uploaded rpms & source
code to the SF file manager.
http://sourceforge.net/projects/maxima/files

This version contains the bug fix for # 3396631 (equal terms produce
different results).

best

Robert Dodier