/gnu/store/s2z5xhzkk6rdb9fzql65cf9sa0pbc0cy-
isl-0.18.tar.bz2.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/ii0arv586si96imask1qlkavg0xx0l66-
isl-0.18.tar.bz2
","sha256","6b8b0fd7f81d0a957beb3679c81bbb34ccc7568d5682844d8924424a0dadcb1b")
],[
Inputs
],[
Sources
"
/gnu/store/7jxamp3g8wdr6vwrisqfmrncxh8nbfb4-
mirrors
",
"
/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-
content-addressed-mirrors
"
],
System
"x86_64-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/7jxamp3g8wdr6vwrisqfmrncxh8nbfb4-
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")
")
]
)