Derive([("out","/gnu/store/qbanb79wan27ya14d7xq79mi2qzzx86y-pulseaudio-13.0.tar.xz","sha256","961b23ca1acfd28f2bc87414c27bb40e12436efcf2158d29721b1e89f3f28057")],[],["/gnu/store/5iw2ivjw5njyyvi7avyphfcibgbqdbsc-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"x86_64-linux","builtin:download",[],[("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\"")])