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@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) ------------------------------------------------------------------------------ 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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
