Graph-tool public key isn't available (server down again?)
This is a very similar problem that the one that was reported sometime ago.
Trying to install in ubuntu 18.04. both lines added to sources.list
as the install section says.
When I run sudo apt update
:
W: Error de GPG: http://downloads.skewed.de/apt/bionic bionic Release: Las firmas siguientes no se pudieron verificar porque su clave pública no está disponible: NO_PUBKEY 7A80C8ED4FCCBE09
E: El repositorio «http://downloads.skewed.de/apt/bionic bionic Release» no está firmado.
N: No se puede actualizar de un repositorio como este de forma segura y por tanto está deshabilitado por omisión.
As it is said in the guide, I tried to run apt-key adv --keyserver pgp.surfnet.nl --recv-key 612DEFB798507F25
but this happened:
apt-key adv --keyserver pgp.surfnet.nl --recv-key 612DEFB798507F25
Executing: /tmp/apt-key-gpghome.RWfM2o7TYv/gpg.1.sh --keyserver pgp.surfnet.nl --recv-key 612DEFB798507F25
gpg: key 612DEFB798507F25: 8 firmas no comprobadas por falta de claves
gpg: clave 612DEFB798507F25: clave pública "Tiago de Paula Peixoto <tiago@skewed.de>" importada
gpg: Cantidad total procesada: 1
gpg: importadas: 1
gpg: key 612DEFB798507F25: 8 firmas no comprobadas por falta de claves
gpg: anillo de claves no escribible encontrado: No hallado
gpg: error al leer '[stdin]': Error general
gpg: import from '[stdin]' failed: Error general
gpg: Cantidad total procesada: 0
Is there any problem with the servers?