Starting download of /gnu/store/p7xc84fjsq64vg046pdpirl3mln4h2q6-portmidi-src-217.zip From http://downloads.sourceforge.net/project/portmedia/portmidi/217/portmidi-src-217.zip... following redirection to `https://deac-fra.dl.sourceforge.net/project/portmedia/portmidi/217/portmidi-src-217.zip'...  …rc-217.zip 1007KiB 0B/s 00:00 [ ] 0.0%  …rc-217.zip 1007KiB 55KiB/s 00:01 [# ] 6.4%  …rc-217.zip 1007KiB 14KiB/s 00:14 [### ] 19.1%  …rc-217.zip 1007KiB 32KiB/s 00:14 [######## ] 44.5%  …rc-217.zip 1007KiB 32KiB/s 00:18 [########## ] 57.2%  …rc-217.zip 1007KiB 38KiB/s 00:19 [############ ] 69.9%  …rc-217.zip 1007KiB 53KiB/s 00:19 [##################] 100.0%  …rc-217.zip 1007KiB 53KiB/s 00:19 [##################] 100.0%