/gnu/store/94xqgip2s971apr7gfas0sg93fbp3nyx-armadillo-9.100.5.tar.xz.drv

Derive(
[
Outputs
("out","/gnu/store/mig9lvgdbywfhb7amfl4h3ija012s271-armadillo-9.100.5.tar.xz","sha256","7e7dc6f1e876b8243c27a003b037559663371b42885436b1087757e652db41cd")
],[
Inputs
],[
Sources
],
System
"i686-linux",
Builder
builtin:download,
[
Arguments
],[
Environment variables
("content-addressed-mirrors","/gnu/store/9kjkag711iz9bx0n45lz5i6hpa05n0b6-content-addressed-mirrors")
("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS")
("mirrors","/gnu/store/45895gr0x2ajy61y7v18jikwgsv8arh7-mirrors")
("out","/gnu/store/mig9lvgdbywfhb7amfl4h3ija012s271-armadillo-9.100.5.tar.xz")
("preferLocalBuild","1")
("url",""mirror://sourceforge/arma/armadillo-9.100.5.tar.xz"")
]
)