infradead.org seems to be down

[Christian Helmuth]

Hi,

I can acknowledge the Problem because

  ./tool/ports/check_port_source dde_linux VERBOSE=
  ...
  curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1 || (sleep 1; curl -f -L -k -r -2 --max-time 15 --retry 2 https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz > /dev/null 2>&1)

does not finish. I'd give infradead some time as this may be a
temporary issue. If it persists we'll fix it. For the meantime I
uploaded the file to

  https://genode.org/files/libnl-3.2.25.tar.gz

Greets
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth