/gnu/store/jx3h06dg69mvcyib1yb3gq99jfd3vk59-isl-0.22.1.tar.bz2.drv

Derive(
[
Outputs
("out","/gnu/store/r5ddacdfkmldlaga2q0fjhddb6xi91bi-isl-0.22.1.tar.bz2","sha256","1a668ef92eb181a7c021e8531a3ca89fd71aa1b3744db56f68365ab0a224c5cd")
],[
Inputs
],[
Sources
],
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/h1nnwnrbwr7vcllyn1k0p55lkdz0clhh-mirrors")
("out","/gnu/store/r5ddacdfkmldlaga2q0fjhddb6xi91bi-isl-0.22.1.tar.bz2")
("preferLocalBuild","1")
("url","("http://isl.gforge.inria.fr/isl-0.22.1.tar.bz2" "mirror://gcc/infrastructure/isl-0.22.1.tar.bz2")")
]
)