FYI. They upstream keyserver has been fixed. [rt.ubuntu.com #21348]
→ curl -v keyserver.ubuntu.com
* About to connect() to keyserver.ubuntu.com port 80 (#0)
* Trying 91.189.89.49...
* connected
* Connected to keyserver.ubuntu.com (91.189.89.49) port 80 (#0)
GET / HTTP/1.1
User-Agent:
Some followup information.
The local proxy server was the 3.1.19 package under Ubuntu 12.04.
Just for fun, I compiled 3.3.3 and ran that instead. At that point, things
worked as expected:
curl -v http://keyserver.ubuntu.com
* About to connect() to proxy 10.10.10.10 port 3128 (#0)
* Trying