/gnu/store/8nn65a5f79lxvzwvb13hd8kdgklaq7da-isl-0.18.tar.bz2.drv

Derive(
[
Outputs
("out","/gnu/store/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2","sha256","6b8b0fd7f81d0a957beb3679c81bbb34ccc7568d5682844d8924424a0dadcb1b")
],[
Inputs
],[
Sources
],
System
"mips64el-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/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2")
("preferLocalBuild","1")
("url","("http://isl.gforge.inria.fr/isl-0.18.tar.bz2" "mirror://gcc/infrastructure/isl-0.18.tar.bz2")")
]
)