Starting download of /gnu/store/8193xnqyj95bnypa1abm0p9l503yqllv-aisleriot-3.22.9.tar.xz From http://ftp.belnet.be/ftp.gnome.org/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz... download failed "http://ftp.belnet.be/ftp.gnome.org/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz" 404 "Not Found" Starting download of /gnu/store/8193xnqyj95bnypa1abm0p9l503yqllv-aisleriot-3.22.9.tar.xz From http://ftp.linux.org.uk/mirrors/ftp.gnome.org/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz... In procedure connect*: Connection timed out Starting download of /gnu/store/8193xnqyj95bnypa1abm0p9l503yqllv-aisleriot-3.22.9.tar.xz From http://ftp.gnome.org/pub/GNOME/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz... following redirection to `https://ftp.gnome.org/pub/GNOME/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz'... following redirection to `https://download.gnome.org/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz'... following redirection to `https://www.mirrorservice.org/sites/ftp.gnome.org/pub/GNOME/sources/aisleriot/3.22/aisleriot-3.22.9.tar.xz'...  ….22.9.tar.xz 5.5MiB 0B/s 00:00 [ ] 0.0%  ….22.9.tar.xz 5.5MiB 630KiB/s 00:00 [ ] 1.1%  ….22.9.tar.xz 5.5MiB 624KiB/s 00:00 [ ] 3.4%  ….22.9.tar.xz 5.5MiB 721KiB/s 00:01 [# ] 6.8%  ….22.9.tar.xz 5.5MiB 758KiB/s 00:01 [# ] 10.3%  ….22.9.tar.xz 5.5MiB 769KiB/s 00:01 [## ] 13.7%  ….22.9.tar.xz 5.5MiB 779KiB/s 00:01 [### ] 17.1%  ….22.9.tar.xz 5.5MiB 799KiB/s 00:01 [### ] 20.5%  ….22.9.tar.xz 5.5MiB 843KiB/s 00:02 [#### ] 25.1%  ….22.9.tar.xz 5.5MiB 884KiB/s 00:02 [##### ] 29.7%  ….22.9.tar.xz 5.5MiB 908KiB/s 00:02 [###### ] 34.2%  ….22.9.tar.xz 5.5MiB 928KiB/s 00:02 [###### ] 38.8%  ….22.9.tar.xz 5.5MiB 943KiB/s 00:03 [####### ] 43.4%  ….22.9.tar.xz 5.5MiB 940KiB/s 00:03 [######## ] 47.9%  ….22.9.tar.xz 5.5MiB 926KiB/s 00:03 [######### ] 52.5%  ….22.9.tar.xz 5.5MiB 918KiB/s 00:03 [########## ] 55.9%  ….22.9.tar.xz 5.5MiB 908KiB/s 00:04 [########## ] 59.3%  ….22.9.tar.xz 5.5MiB 899KiB/s 00:04 [########### ] 62.7%  ….22.9.tar.xz 5.5MiB 887KiB/s 00:04 [########### ] 66.2%  ….22.9.tar.xz 5.5MiB 870KiB/s 00:04 [############ ] 68.5%  ….22.9.tar.xz 5.5MiB 853KiB/s 00:05 [############ ] 71.9%  ….22.9.tar.xz 5.5MiB 834KiB/s 00:05 [############# ] 74.2%  ….22.9.tar.xz 5.5MiB 822KiB/s 00:05 [############# ] 76.4%  ….22.9.tar.xz 5.5MiB 816KiB/s 00:05 [############## ] 79.9%  ….22.9.tar.xz 5.5MiB 809KiB/s 00:06 [############## ] 82.1%  ….22.9.tar.xz 5.5MiB 800KiB/s 00:06 [############### ] 84.4%  ….22.9.tar.xz 5.5MiB 789KiB/s 00:06 [############### ] 86.7%  ….22.9.tar.xz 5.5MiB 777KiB/s 00:06 [################ ] 89.0%  ….22.9.tar.xz 5.5MiB 772KiB/s 00:07 [################ ] 91.3%  ….22.9.tar.xz 5.5MiB 767KiB/s 00:07 [################ ] 93.6%  ….22.9.tar.xz 5.5MiB 761KiB/s 00:07 [################# ] 95.8%  ….22.9.tar.xz 5.5MiB 756KiB/s 00:07 [################# ] 98.1%  ….22.9.tar.xz 5.5MiB 753KiB/s 00:07 [##################] 100.0%