per scaricare la versione di RealPlayer per Linux clicca qui

Ho anche trovato i binari per alcune distro qui

basta scrivere real palyer.

Io lo ho installato da un po' e va bene.