Hai installato il w32codecs ? Aggiungi il repository adatto per la tua distribuzione dal sito Debian Multimedia [1] e poi #apt-get install debian-multimedia-keyring w32codecs realplayer Non dovresi avere problemi, :-) CaSt [1] http://debian-multimedia.org