This page has been moved to http://www.texmacs.org/Download/RPM.html.