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

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,

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

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

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