Hi, I tried it first ca. at 8:00. I also tried different connections to eliminate other causes.
JK Am 11.04.2017 um 10:16 schrieb 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@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
