infradead.org seems to be down

[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

-- 

Met vriendelijke groet / kind regards,

Boris Mulder

Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands
+31 35 631 3253 (office)