Homebrew/homebrew — pull request #30642 by DomT4 (2014-07-03 22:02:03+00:00)
Title: dirmngr: new mirror

The current mirror seems to be dead. I've given it about 36 hours but no sign of revival yet. Just in case, this merge switches over to the debian package mirror.