Starting download of /gnu/store/mvbpyl4r28jhv5k0b649rhx9grnippf1-dejagnu-1.6.2.tar.gz From https://ftpmirror.gnu.org/gnu/dejagnu/dejagnu-1.6.2.tar.gz... following redirection to `https://mirror.easyname.at/gnu/dejagnu/dejagnu-1.6.2.tar.gz'...  …6.2.tar.gz 514KiB 0B/s 00:00 [ ] 0.0%  …6.2.tar.gz 514KiB 1.6MiB/s 00:00 [## ] 12.5%  …6.2.tar.gz 514KiB 4.9MiB/s 00:00 [##################] 100.0%