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