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://mirrors.tripadvisor.com/gnu/dejagnu/dejagnu-1.6.2.tar.gz'...  …6.2.tar.gz 514KiB 0B/s 00:00 [ ] 0.0%  …6.2.tar.gz 514KiB 669KiB/s 00:00 [## ] 12.5%  …6.2.tar.gz 514KiB 1.2MiB/s 00:00 [############# ] 74.8%  …6.2.tar.gz 514KiB 1.4MiB/s 00:00 [##################] 100.0%