/gnu/store/35s2wgwhapmq4lvxn5vl7xzdzyrqsi27-
pulseaudio-13.0.tar.xz.drv
Detail view
Formatted view
Plain view
Derive(
[
Outputs
("out","
/gnu/store/qbanb79wan27ya14d7xq79mi2qzzx86y-
pulseaudio-13.0.tar.xz
","sha256","961b23ca1acfd28f2bc87414c27bb40e12436efcf2158d29721b1e89f3f28057")
],[
Inputs
],[
Sources
"
/gnu/store/5iw2ivjw5njyyvi7avyphfcibgbqdbsc-
mirrors
",
"
/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-
content-addressed-mirrors
"
],
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/5iw2ivjw5njyyvi7avyphfcibgbqdbsc-
mirrors
")
("out","
/gnu/store/qbanb79wan27ya14d7xq79mi2qzzx86y-
pulseaudio-13.0.tar.xz
")
("preferLocalBuild","
1
")
("url","
"https://freedesktop.org/software/pulseaudio/releases/pulseaudio-13.0.tar.xz"
")
]
)