Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From https://bitbucket.org/eigen/eigen/get/3.3.8.tar.bz2...
download failed "https://bitbucket.org/eigen/eigen/get/3.3.8.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From http://ftp.de.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2...
download failed "http://ftp.de.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From http://ftp.fr.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2...
download failed "http://ftp.fr.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From http://ftp.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2...
download failed "http://ftp.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From http://archive.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2...
download failed "http://archive.debian.org/debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2" 404 "Not Found"

Starting download of /gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2
From https://ci.guix.gnu.org/file/eigen-3.3.8.tar.bz2/sha256/1vxrsncfnkyq6gwxpsannpryp12mk7lc8f42ybvz3saf7icwc582...

 …2mk7lc8f42ybvz3saf7icwc582  1.6MiB      0B/s 00:00 [                  ]   0.0%
 …2mk7lc8f42ybvz3saf7icwc582  1.6MiB  1.5MiB/s 00:00 [                  ]   3.9%
 …2mk7lc8f42ybvz3saf7icwc582  1.6MiB  3.0MiB/s 00:00 [########          ]  47.2%
 …2mk7lc8f42ybvz3saf7icwc582  1.6MiB  3.4MiB/s 00:00 [################# ]  98.2%
 …2mk7lc8f42ybvz3saf7icwc582  1.6MiB  3.4MiB/s 00:00 [##################] 100.0%