Derive([("out","/gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2","sha256","0215c6593c4ee9f1f7f28238c4e8995584ebf3b556e9dbf933d84feb98d5b9ef")],[],["/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"i686-linux","builtin:download",[],[("content-addressed-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("mirrors","/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors"),("out","/gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2"),("preferLocalBuild","1"),("url","(\"https://bitbucket.org/eigen/eigen/get/3.3.8.tar.bz2\" \"mirror://debian/pool/main/e/eigen3/eigen3_3.3.8.orig.tar.bz2\")")])