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