infradead.org seems to be down

[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 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
> 

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/