Despite switching the DNS servers my device uses to the Google ones (8.8.8.8 and 8.8.4.4), when on my home wifi, I've continued to get intermittent issues with DNS lookups for the Nokia repos.

If I switch to a 3G connection, I have no issues. There's obviously something strange with name resolution on the device or in the repo service.

Today, I just modified the wifi settings so that one of the DNS servers, the first one, was Google's 8.8.8.8 and the 2nd, was a NAS box on my LAN running dnsmasq. Now HAM can access the Nokia repos again, over my wifi. Historically, I've usually used the box running dnsmasq and my LAN's router adress or one of the ISP's DNS server's addresses as my two nominated DNS servers, but these configurations have always manifested the failure to resolve Nokias repos, occassionally.

I don't understand the cause cause of the problem, but I do advise having some diversity in your choice of DNS servers, if you are having similar problems. Don't pick two from your ISP (including local machines that feed from them, like the one here running dnsmasq), and don't pick two from Google (or anywhere else).

Hopefully this will minimise the chances of having name resolution failures.