Starting download of /gnu/store/sfhvfj5r4z6195923gc4zycl858278dh-vala-0.56.3.tar.xz
From https://download.gnome.org/sources/vala/0.56/vala-0.56.3.tar.xz...
following redirection to `https://ftp1.nluug.nl/windowing/gnome/sources/vala/0.56/vala-0.56.3.tar.xz'...

 ….3.tar.xz  3.8MiB                       0B/s 00:00 [                  ]   0.0%
 ….3.tar.xz  3.8MiB                   248KiB/s 00:00 [                  ]   1.7%
 ….3.tar.xz  3.8MiB                    99KiB/s 00:01 [                  ]   3.3%
 ….3.tar.xz  3.8MiB                    95KiB/s 00:02 [                  ]   5.0%
 ….3.tar.xz  3.8MiB                   103KiB/s 00:02 [#                 ]   6.6%
 ….3.tar.xz  3.8MiB                   114KiB/s 00:03 [#                 ]   8.3%
 ….3.tar.xz  3.8MiB                   124KiB/s 00:03 [#                 ]   9.9%
 ….3.tar.xz  3.8MiB                   147KiB/s 00:03 [##                ]  13.2%
 ….3.tar.xz  3.8MiB                   155KiB/s 00:04 [##                ]  14.9%
 ….3.tar.xz  3.8MiB                   174KiB/s 00:04 [###               ]  18.2%
 ….3.tar.xz  3.8MiB                   177KiB/s 00:04 [###               ]  19.8%
 ….3.tar.xz  3.8MiB                   179KiB/s 00:05 [###               ]  21.5%
 ….3.tar.xz  3.8MiB                   181KiB/s 00:05 [####              ]  23.1%
 ….3.tar.xz  3.8MiB                   191KiB/s 00:05 [####              ]  26.4%
 ….3.tar.xz  3.8MiB                   204KiB/s 00:06 [#####             ]  29.7%
 ….3.tar.xz  3.8MiB                   215KiB/s 00:06 [#####             ]  33.0%
 ….3.tar.xz  3.8MiB                   226KiB/s 00:06 [######            ]  36.3%
 ….3.tar.xz  3.8MiB                   246KiB/s 00:06 [#######           ]  41.3%
 ….3.tar.xz  3.8MiB                   256KiB/s 00:07 [########          ]  44.6%
 ….3.tar.xz  3.8MiB                   282KiB/s 00:07 [#########         ]  51.2%
 ….3.tar.xz  3.8MiB                   291KiB/s 00:07 [#########         ]  54.5%
 ….3.tar.xz  3.8MiB                   305KiB/s 00:08 [##########        ]  59.4%
 ….3.tar.xz  3.8MiB                   319KiB/s 00:08 [###########       ]  64.4%
 ….3.tar.xz  3.8MiB                   325KiB/s 00:08 [############      ]  67.7%
 ….3.tar.xz  3.8MiB                   330KiB/s 00:08 [############      ]  71.0%
 ….3.tar.xz  3.8MiB                   335KiB/s 00:09 [#############     ]  74.3%
 ….3.tar.xz  3.8MiB                   335KiB/s 00:09 [#############     ]  77.6%
 ….3.tar.xz  3.8MiB                   342KiB/s 00:09 [##############    ]  80.9%
 ….3.tar.xz  3.8MiB                   346KiB/s 00:09 [###############   ]  84.2%
 ….3.tar.xz  3.8MiB                   345KiB/s 00:10 [###############   ]  85.8%
 ….3.tar.xz  3.8MiB                   348KiB/s 00:10 [################  ]  89.1%
 ….3.tar.xz  3.8MiB                   352KiB/s 00:10 [################  ]  92.5%
 ….3.tar.xz  3.8MiB                   355KiB/s 00:10 [################# ]  95.8%
 ….3.tar.xz  3.8MiB                   362KiB/s 00:11 [##################] 100.0%
 ….3.tar.xz  3.8MiB                   362KiB/s 00:11 [##################] 100.0%