Thanks, Tom & Manuel. I've put them on the web page. | There are now also x86 RPMS for RedHat Linux 6.2 at | | | ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386-rh6.2/ | ghc-5.00-2.i386.rpm | | ftp://ftp.cse.unsw.edu.au/pub/users/chak/jibunmaki/i386-rh6.2/ | ghc-prof-5.00-2.i386.rpm | | This build has been kindly contributed by Tom Moertel. | | Manuel |