Derive([("out","/gnu/store/raqwd0ajy90jrlkvwh6kanmm4529f8lf-dejagnu-1.6.1.tar.gz","sha256","bf5b28bb797e0ace4cfc0766a996339c795d8223bef54158be7887046bc01692")],[],["/gnu/store/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-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/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors"),("out","/gnu/store/raqwd0ajy90jrlkvwh6kanmm4529f8lf-dejagnu-1.6.1.tar.gz"),("preferLocalBuild","1"),("url","\"mirror://gnu/dejagnu/dejagnu-1.6.1.tar.gz\"")])