Hi, On Fri, 14 Apr 2023 at 09:23, Simon Tournier <[email protected]> wrote:
> Is it possible that the problem would come from > 1e428e8fd6945f5c9f13a14e9cd97c81f3f4d945 or > d3627a9d877a40b357739aa9c21753fd14f43227 from the repository > maintenance? It is not the issue. :-) Sorry for the noise. Quoting Ricardo [1]: Short story is that the main GNU DNS server that we talk to has a new IP. https://logs.guix.gnu.org/guix/2023-04-14.log#110402 Cheers, simon
