Derive([("out","/gnu/store/rjwqhdaffgv2yz1y0jz1zlb9m031gyji-sound-theme-freedesktop-0.8.tar.bz2","sha256","cb518b20eef05ec2e82dda1fa89a292c1760dc023aba91b8aa69bafac85e8a14")],[],["/gnu/store/d2jw10y7qjqrw8ys1dylbk4vv0y43qnq-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"armhf-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/d2jw10y7qjqrw8ys1dylbk4vv0y43qnq-mirrors"),("out","/gnu/store/rjwqhdaffgv2yz1y0jz1zlb9m031gyji-sound-theme-freedesktop-0.8.tar.bz2"),("preferLocalBuild","1"),("url","\"https://people.freedesktop.org/~mccann/dist/sound-theme-freedesktop-0.8.tar.bz2\"")])