Starting download of /gnu/store/jkjs5gz4y2x6skc6jfwm1n5aa5rgxk72-readline80-003 From https://ftpmirror.gnu.org/gnu/readline/readline-8.0-patches/readline80-003... following redirection to `https://mirror.easyname.at/gnu/readline/readline-8.0-patches/readline80-003'...  readline80-003 2KiB +nan.0TiB/s 00:00 [ ] 0.0%  readline80-003 2KiB +inf.0TiB/s 00:00 [##################] 100.0%  readline80-003 2KiB +inf.0TiB/s 00:00 [##################] 100.0%