/gnu/store/gdkymkw7pv20f7ds3w7m4vvrcxqknf44-isl-0.18.tar.bz2.drv

Derive(
[
Outputs
("out","/gnu/store/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2","sha256","6b8b0fd7f81d0a957beb3679c81bbb34ccc7568d5682844d8924424a0dadcb1b")
],[
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/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors")
("out","/gnu/store/ii0arv586si96imask1qlkavg0xx0l66-isl-0.18.tar.bz2")
("preferLocalBuild","1")
("url","("mirror://sourceforge/libisl/isl-0.18.tar.bz2" "mirror://gcc/infrastructure/isl-0.18.tar.bz2")")
]
)