Mirror of official repository at http://reduce-algebra.sourceforge.net/