infradead.org seems to be down

[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 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, Stefan Kalkowski wrote:
>> 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 the port-sources every night to detect dead links. Tonight the
>> dde-linux port check did not fail. Do you experienced the connection
>> problem just this morning or already for a longer time?
>> If it is a temporary problem only, I wouldn't change the port file yet.
>>
>> Regards
>> Stefan
>>
>>> Boris
>>>
>>>
>>> On 11-04-17 09:53, Johannes Kliemann wrote:
>>>> Hi,
>>>>
>>>> while trying to build Genode with dde_linux I noticed that the
>>>> connection to infradead.org timed out, so I'm not able to retrieve
>>>> https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz
>>>>
>>>> Is there any other source for this file?
>>>>
>>>> JK
>>>>
>>>> ------------------------------------------------------------------------------
>>>> Check out the vibrant tech community on one of the world's most
>>>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>>>> _______________________________________________
>>>> genode-main mailing list
>>>> genode-main at lists.sourceforge.net
>>>> https://lists.sourceforge.net/lists/listinfo/genode-main
>