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...
download failed "https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-1.5.4.tgz" 403 "Forbidden"

Starting download of /gnu/store/kl5gbdkg79fqs3pr6k7yiq2ciqbhbypw-mpfi-1.5.4.tgz
From https://ci.guix.gnu.org/file/mpfi-1.5.4.tgz/sha256/0mismr1ll3wp788dq2n22s5irm0dziy75byyfdwz22kjbmckhf9v...
download failed "https://ci.guix.gnu.org/file/mpfi-1.5.4.tgz/sha256/0mismr1ll3wp788dq2n22s5irm0dziy75byyfdwz22kjbmckhf9v" 404 "Not Found"

Starting download of /gnu/store/kl5gbdkg79fqs3pr6k7yiq2ciqbhbypw-mpfi-1.5.4.tgz
From https://tarballs.nixos.org/sha256/0mismr1ll3wp788dq2n22s5irm0dziy75byyfdwz22kjbmckhf9v...
following redirection to `https://tarballs.nixos.org/sha512/72ba7d8c950f4d4e2c7a3da8570cdcec08f75b73580cdf64c4cc3b24f8add23c46ccf78a6de2158e81bd77e6efabceebbae418988d536e7484356b8102e10ce1'...

 …0dziy75byyfdwz22kjbmckhf9v  256KiB +nan.0TiB/s 00:00 [                  ]   0.0%
 …0dziy75byyfdwz22kjbmckhf9v  256KiB  711KiB/s 00:00 [####              ]  25.0%
 …0dziy75byyfdwz22kjbmckhf9v  256KiB  1.9MiB/s 00:00 [##################] 100.0%