I just tried it with the current master which uses the same file and got the same result.
Am 11.04.2017 um 10:19 schrieb 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@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