Me respondo a m� mismo: el problema se ha resuelto con un update, aunque no entiendo por qu� el update influ�a en en encontrar los paquetes... Yo pensaba que el update serv�a s�lo para poner al d�a la lista de repositorios. Y lo hago de tarde en tarde porque mi conexi�n es muy lenta.
Josep
