Starting download of /gnu/store/8rd7g1qxgm1hkdjdlm50dljl4f6blm6m-eigen-3.3.5.tar.bz2
From https://bitbucket.org/eigen/eigen/get/3.3.5.tar.bz2...
download failed "https://bitbucket.org/eigen/eigen/get/3.3.5.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/8rd7g1qxgm1hkdjdlm50dljl4f6blm6m-eigen-3.3.5.tar.bz2
From https://mirror.hydra.gnu.org/file/eigen-3.3.5.tar.bz2/sha256/1qh3yrwn78ms5yhwbpl5wvblk4gbz02cacdygxylr7i9xbrvylkk...

 …gbz02cacdygxylr7i9xbrvylkk  1.6MiB      0B/s 00:00 [                  ]   0.0%
 …gbz02cacdygxylr7i9xbrvylkk  1.6MiB  2.2MiB/s 00:00 [                  ]   3.9%
 …gbz02cacdygxylr7i9xbrvylkk  1.6MiB  7.7MiB/s 00:00 [##################] 100.0%