seems to be down

Stefan Kalkowski stefan.kalkowski at ...1...
Tue Apr 11 10:16:11 CEST 2017


On 04/11/2017 09:57 AM, Boris Mulder wrote:
> I temporarily got mine from 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.


> 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 timed out, so I'm not able to retrieve
>> 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,!
>> _______________________________________________
>> genode-main mailing list
>> genode-main at

Stefan Kalkowski
Genode Labs ยท

More information about the users mailing list