/gnu/store/csk7wan9ljqa3i1q4zlyrzvxrb4wpvz7-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/nb73zsx418kbz2p3f15pvv9spi0afmz7-mirrors")
("out","/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2")
("preferLocalBuild","1")
("url","("mirror://sourceforge/libisl/isl-0.23.tar.bz2" "mirror://gcc/infrastructure/isl-0.23.tar.bz2")")
]
)