/gnu/store/gqzcdkikyjh1arxcdvivkzxinnvyklg9-dejagnu-1.6.3.tar.gz.drv

Derive(
[
Outputs
("out","/gnu/store/0fmg130a4fj58qm2x2sqannkrv9zkmb9-dejagnu-1.6.3.tar.gz","sha256","87daefacd7958b4a69f88c6856dbd1634261963c414079d0c371f589cd66a2e3")
],[
Inputs
],[
Sources
],
System
"x86_64-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/wg1yp2vx8gb7qmcgyibqnwblahpp4bjg-content-addressed-mirrors")
("disarchive-mirrors","/gnu/store/0mxnx8l4fgigvd7gakwdk6hc6im4wnai-disarchive-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/ckxc05iflc8jagdxwh4z1cxc23mb6i6q-mirrors")
("out","/gnu/store/0fmg130a4fj58qm2x2sqannkrv9zkmb9-dejagnu-1.6.3.tar.gz")
("preferLocalBuild","1")
("url",""mirror://gnu/dejagnu/dejagnu-1.6.3.tar.gz"")
]
)