I have a new pgp public key. It's up on my web space here:
http://www.ocf.berkeley.edu/~tfb/pubkey.asc
It's been two or three years since I forgot the password to the key you all may have. It hasn't been compromised, just forgotten. All this talk about gpg and asdf-install, and an impending Ltk release, got me off my butt to make a new one. It's only for signing Lisp packages -- if for some reason you want to send me encrypted e-mail, ask me through an appropriate channel for the key I use for that.
-----BEGIN PGP PUBLIC KEY BLOCK----- Version: GnuPG v1.4.0 (Darwin)
mQGiBEPWo5URBADtqt4KaBHipP8YetDju0JeNRUyFNbJ3v+tIxiHRbjKIRhm/SjZ IHZ+isA4m+ygNEcbyBkRqk3yzYXur6EaIoL9tN6MBvlbH8r06i0AQFCOkoMUovJc Sm0q0KkMXA4a63Pi3vIfrd0ivRq70/lpliLuD5Y83jzCJK5ZsteikZQfywCgzNdv jc4YubXIpf2fcHAF/J4eD+ED/1Q9+sSmybgWbdRgv2W1bTv2Bk0OgwuPse/BuxcR gFaBxxxnW+zi+64YLBKBiRlptGri75ivUoenQ2exC78YcKicmhWFS4uWXGl1rOx0 RDCfV/ZLreCCKnxObeFac4UO/qWRRgHxXkDbVVe2IeNTo/SJngfG7petBJyX37eg zQq9BACa0gYCU79bXu5eLTwPlEda/K+BWCz927O/f9wfsEKK4QXsh+nwIuExCRPH 57hWqr/Vz+/kS/GcdGuasY7RUwrnYGHJBWr4FAThfSRD3rGk6Gf63w4lw6UVikZQ ueuue5qWslsoSO3vRRon9LMW72Upg4leZkB//8kdr7jTwaevhLRJVGhvbWFzIEYu IEJ1cmRpY2sgKG9ubHkgZm9yIHNpZ25pbmcgc29mdHdhcmUpIDx0ZmIrbGlzcEBv Y2YuYmVya2VsZXkuZWR1PohfBBMRAgAfBQJD1qOVAhsDBwsJCAcDAgEDFQIDAxYC AQIeAQIXgAAKCRCXZHBWUNC09swxAJ4hB2KM0b8GZByDWOc9EWfxWWVdiQCglqKs FG3bQmQV8BYYFCL+nhlHLWu5Ag0EQ9aj4hAIAKEcpVfCDC+RogV6IrnzYdzGj/a0 nqUpXgj1v/N2oJxfzn6lazoTl2LREjG+ADD4abV//kAJTnfmfES9gJpQsK0zX9gc vcNhiUOcp6TkqmpOqwN5xf+rjBQsBjAi9cQlqCwoWXRWJbt8m2td/Zp3ZoRk8JPq Vg1wi+3TTOYOl90GIttQVe3in5HWLR0EYvP4cciESUs8R/XWmSzJgFrHgs2qF093 iYwqf0KaN4hmYtXw4Qb6lA0Kv/hdskX4jBYEto9xk4XoUO4qSuCltISmTLp1RdGh zmWQCIy6j3j723SAtGrjsQVpZKy2Fcew8iyDqcOPWt5iaMY9R5pc08QI7wsAAwYH /2PrnCMxKHQk5rrH7xciO5ItSrVBtx34GEqq2rD5gAg7clG9ILFbj8zZEl5qO/FQ 6Ygwowy9cI5ck9l6hBHTgjo2Ju3aEKJoHTeKPpdKGidPpPjEiCFCf/mwqPkt6Qcu a0XKJheahgWht2C4AY41yG0vJPv2PikpVwM4YklbEYgsCSJuxyo9Mv99FtOONOVQ KKxM3qGPH4sGD7Oqp7iwfEtEpjatIp8M4TtsgU0yxsX0Bozv9Y9fGh0JUJYW+VoW VivSYstiPQMPCZWesEFUCBePVzcTHvKXN+x4KI76GjitJws+gzHd7gC0dmflK9oK 88vMO5TgGeZdSUbbwLrrWteISQQYEQIACQUCQ9aj4gIbDAAKCRCXZHBWUNC09u7L AJ4yFU8CF1xtUgE13GgchzpzDq5nDgCgk5T0byuJnLbLIV2P2wNRpVe7dEE= =q8NF -----END PGP PUBLIC KEY BLOCK-----