I wrote:> Applied, thanks. What I now see is that pgp-pubkey-decrypt passes on> a 32-bit machine but dumps core on a 64-bit machine, with SIGSEGV here:
Addendum: seems it only fails without openssl.
regards, tom lane