Hoy he descubierto que el programa debpool no estaba funcionando desde hacia unos cuantos dias.
Por lo visto el directorio temporal estaba lleno de archivos tmp*
que he
tenido que borrar, y sobre los que debo averiguar su procedencia.
Vaya, ahora resulta que no funcionan los acentos en esta maquina. Tambien me pondre con ello.