/gnu/store/6hzb7j080pcsyski9739csjhq632air7-eigen-3.3.8.tar.bz2.drv

Derive(
[
Outputs
("out","/gnu/store/06n1adz2hdjz0zy5ddc6ym7cs7vkpgrc-eigen-3.3.8.tar.bz2","sha256","0215c6593c4ee9f1f7f28238c4e8995584ebf3b556e9dbf933d84feb98d5b9ef")
],[
Inputs
],[
Sources
],
System
"aarch64-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("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")")
]
)