Starting download of /gnu/store/kl5gbdkg79fqs3pr6k7yiq2ciqbhbypw-mpfi-1.5.4.tgz
From https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-1.5.4.tgz...

 mpfi-1.5.4.tgz  256KiB                   0B/s 00:00 [                  ]   0.0%
 mpfi-1.5.4.tgz  256KiB               2.4MiB/s 00:00 [####              ]  25.0%
 mpfi-1.5.4.tgz  256KiB               3.9MiB/s 00:00 [##################] 100.0%