Updated the download page for relax 1.2.12.
This includes only the source releases as well as 64 bit GNU/Linux.
Authored by: bugman 2007-11-17
Parent: [r3535]
Child: [r3537]
