New stronger personal GnuPG key

I have generated a new GPG key (4096R/7C5BB6A5) associated to my “personal” identity, for the needs of my application as Debian Developer. Therefore, the old key (1024D/B4C5F37F) will soon be retired.

If you happen to meet me, I’d be glad to have my public key signed again by you.
Here’s a copy of the new public key, and one, signed with the old.

I’ve also added a transition document here. If it suits your signing policy, you may as well sign the new key without meeting me again, if you had signed the old one already.

As usual, you may download it from keyservers with something like (for instance on keys.gnupg.net):
gpg --keyserver your-preferred-key-server --recv-key 7C5BB6A5