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 548KiB/s 00:00 [ ] 3.9%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 1.1MiB/s 00:00 [#### ] 23.6%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 1.0MiB/s 00:01 [###### ] 35.4%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 935KiB/s 00:01 [####### ] 43.2%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 862KiB/s 00:01 [######### ] 51.1%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 764KiB/s 00:01 [########## ] 58.9%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 652KiB/s 00:02 [############ ] 66.8%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 599KiB/s 00:02 [############ ] 70.7%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 571KiB/s 00:02 [############# ] 74.7%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 521KiB/s 00:02 [############## ] 78.6%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 477KiB/s 00:03 [############## ] 82.5%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 462KiB/s 00:03 [############### ] 86.4%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 458KiB/s 00:03 [################ ] 94.3%  …2mk7lc8f42ybvz3saf7icwc582 1.6MiB 460KiB/s 00:04 [##################] 100.0%