I just added the RPMs for Mandriva Linux (both i586 and x86_64) to the server. They'll probably be widely available in a couple of hours.
Hendrik-Jan Heins ---------------------------(end of broadcast)--------------------------- TIP 6: explain analyze is your friend
