http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=476999 --- keyserver/gpgkeys_curl.c.orig 2007-07-04 15:26:13.000000000 +0200 +++ keyserver/gpgkeys_curl.c 2008-05-21 13:53:05.000000000 +0200 @@ -300,7 +300,7 @@ main(int argc,char *argv[]) curl_easy_setopt(curl,CURLOPT_VERBOSE,1); } - curl_easy_setopt(curl,CURLOPT_SSL_VERIFYPEER,opt->flags.check_cert); + curl_easy_setopt(curl,CURLOPT_SSL_VERIFYPEER,(long)opt->flags.check_cert); curl_easy_setopt(curl,CURLOPT_CAINFO,opt->ca_cert_file); if(proxy)