Starting download of /gnu/store/ga21iaypwj2fm2l9kc3p8gcq56g8bz0p-astring-0.8.5.tbz From http://erratique.ch/software/astring/releases/astring-0.8.5.tbz... following redirection to `https://erratique.ch/software/astring/releases/astring-0.8.5.tbz'...  astring-0.8.5.tbz 37KiB +nan.0TiB/s 00:00 [ ] 0.0%  astring-0.8.5.tbz 37KiB 3.6MiB/s 00:00 [##################] 100.0%  astring-0.8.5.tbz 37KiB 3.6MiB/s 00:00 [##################] 100.0%