Re: infradead.org seems to be down

2017-04-11 Thread 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

Re: infradead.org seems to be down

2017-04-11 Thread Johannes Kliemann
I just tried it with the current master which uses the same file and got the same result. Am 11.04.2017 um 10:19 schrieb Boris Mulder: > It could be that this is the case for an older version of Genode, I just > recalled that I had the same issue some time ago. Johannes, does this > occur with a n

Re: infradead.org seems to be down

2017-04-11 Thread Johannes Kliemann
Hi, I tried it first ca. at 8:00. I also tried different connections to eliminate other causes. JK Am 11.04.2017 um 10:16 schrieb Stefan Kalkowski: > Hi, > > > On 04/11/2017 09:57 AM, Boris Mulder wrote: >> I temporarily got mine from https://github.com/thom311/libnl/. It seemed >> to work, an

Re: infradead.org seems to be down

2017-04-11 Thread Boris Mulder
It could be that this is the case for an older version of Genode, I just recalled that I had the same issue some time ago. Johannes, does this occur with a newer version too? And I didn't know you checked the links that often, so in that case I would take back my statement. On 11-04-17 10:16, St

Re: infradead.org seems to be down

2017-04-11 Thread Stefan Kalkowski
Hi, On 04/11/2017 09:57 AM, Boris Mulder wrote: > I temporarily got mine from https://github.com/thom311/libnl/. It seemed > to work, and I believe the hashes were the same, although I recommend > you verify that yourself too. > > Maybe this can be changed in the makefile eventually. we check t

Re: infradead.org seems to be down

2017-04-11 Thread Johannes Kliemann
Thanks, that also worked for me. Am 11.04.2017 um 09:57 schrieb Boris Mulder: > I temporarily got mine from https://github.com/thom311/libnl/. It seemed > to work, and I believe the hashes were the same, although I recommend > you verify that yourself too. > > Maybe this can be changed in the mak

Re: infradead.org seems to be down

2017-04-11 Thread Boris Mulder
I temporarily got mine from https://github.com/thom311/libnl/. It seemed to work, and I believe the hashes were the same, although I recommend you verify that yourself too. Maybe this can be changed in the makefile eventually. Boris On 11-04-17 09:53, Johannes Kliemann wrote: > Hi, > > while tr