Part of the problem seems to be that we should use port 80 of keyserver.ubuntu.com, I commtied a fix for this. The rest needs a bit of debugging love, I will do that tomorrow.
Part of the problem seems to be that we should use port 80 of keyserver. ubuntu. com, I commtied a fix for this. The rest needs a bit of debugging love, I will do that tomorrow.