http://www.debian.org/devel/extract_key

[Remco van de Meent <remco@debian.org>]

Hi,

Possibly you're already aware, but just to make sure: according to 
www.debian.org/devel, and especially the link mentioned in the subject 
line, it is possible to retrieve a developer's GPG key by fingering 
uid@db.debian.org.

However, this does not seem to work anymore...  the finger results 
include common name etc., but no key information.


Thanks,

Remco