Thanks, that also worked for me. Am 11.04.2017 um 09:57 schrieb Boris Mulder: > 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 >
------------------------------------------------------------------------------ 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
