/gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv

Derive(
[
Outputs
("out","/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2","sha256","c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/lv7dc09895a2d7cn0m6ysrdlgkhx5ld8-content-addressed-mirrors")
("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/hdprrnsaa40vl1k63hnq7l1f012jzq2y-mirrors")
("out","/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2")
("preferLocalBuild","1")
("url","("http://isl.gforge.inria.fr/isl-0.23.tar.bz2" "mirror://gcc/infrastructure/isl-0.23.tar.bz2")")
]
)