=> Bootstrap dependency digest>=20010302: found digest-20190127
=> Fetching maplay1_2.tar
=> Total size: 286720 bytes
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0curl: (6) Could not resolve host: ftp.cs.tu-berlin.de
fetch: Unable to fetch expected file maplay1_2.tar
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  280k  100  280k    0     0   883k      0 --:--:-- --:--:-- --:--:--  883k
=> Checksum SHA1 OK for maplay1_2.tar
=> Checksum RMD160 OK for maplay1_2.tar
=> Checksum SHA512 OK for maplay1_2.tar