Hola lista, ¿Que repositorio había que añadir para bajarse el gmplayer?, lo mencionásteis recientemente en esta lista pero he tenido algunos problemas. Gracias, Vic.