¡Muchas gracias! Siguiendo los pasos que comentas ya me funciona. Sólo he
tenido que reiniciar (supongo que para cargar el sistema de archivos o algo
similar) porque tras instalar sólo no cambiaba nada. Pero ahora ya marcha
aparentemente sin problemas.
Supongo que este repositorio no añadirá nada no libre, pero imagino que
así será.