On Jan 15 2023, Bob Proulx wrote: > Perhaps you could try the gpg key download again? It should work. It > worked for me. If not then I would try one of the other key servers. > > https://gnupg.org/faq/gnupg-faq.html#new_user_default_keyserver
Unfortunately, the recommendation on that page is no longer appropriate, since pool.sks-keyservers.net is defunct now. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
