Tienes 2 opciones: instalar desde fuentes o conseguirte algun .deb desde apt-get.org. Recomiendo la primera para estos casos. Saludos
Hola. Gracias a todos los que habéis contestado.Al final he compilado las fuentes e instalado sin problemas, siguiendo las cortas instrucciones que creo que ya mandé a la lista.
Lo dicho, muchas gracias. Saludos. Carlos.