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%