'RealPlayer7beta para linux' (1000313/1518241um) Já foi arquivado.

Na realidade deve ir para a versão arquivada deste artigo Com um pouco de sorte deve ir para lá automaticamente, senão siga o link.