Starting download of /gnu/store/vfawyyb41p1w08yhafcfmcb4qk7m6bzl-astring-0.8.3.tbz From http://erratique.ch/software/astring/releases/astring-0.8.3.tbz... following redirection to `https://erratique.ch/software/astring/releases/astring-0.8.3.tbz'...  astring-0.8.3.tbz 38KiB 0B/s 00:00 [ ] 0.0%  astring-0.8.3.tbz 38KiB 34.0MiB/s 00:00 [##################] 100.0%  astring-0.8.3.tbz 38KiB 6.5MiB/s 00:00 [##################] 100.0%