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://nav.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 1.1MiB/s 00:00 [# ] 6.4%  …rc-217.zip 1007KiB 1.9MiB/s 00:00 [######### ] 50.9%  …rc-217.zip 1007KiB 2.3MiB/s 00:00 [##################] 100.0%