Keyservers share keys with each other, so you should be able to find that key on any (resolvable) keyserver. I checked keyserver.ubuntu.com and keys.openpgp.org specifically and found Antonio's key on both.
Hope this helps, Alexander On Wed, Jan 18, 2023 at 4:55 PM David (Plasma) Paul via GNU ed bug reports, suggestions, general discussion. <bug-ed@gnu.org> wrote: > On Sat, 14 Jan 2023 18:40:43 +0100 > Antonio Diaz Diaz <anto...@gnu.org> wrote: > > > I am pleased to announce the release of GNU ed 1.19. > ... > > This release is also GPG signed. You can download the signature by > > appending '.sig' to the URL. If the 'gpg --verify' command fails > > because you don't have the required public key, then run this command > > to import it: > > > > gpg --keyserver keys.gnupg.net --recv-keys 8FE99503132D7742 > > > > Key fingerprint = 1D41 C14B 272A 2219 A739 FA4F 8FE9 9503 132D 7742 > > Antonio, > > The keys.gnupg.net domain no longer resolves. Would you please make > your key available on another keyserver? > > Thanks, > > -- > Plasma > >