Derive([("out","/gnu/store/q728m20lfwjkxycs8hy6g1qs9mk96c2j-jdom-1.1.3.tar.gz","sha256","d471718c4ac7a1a2f10715b93cb3fcd2ecbab60384b73ad1c089712e47bd8d1f")],[],["/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"i586-gnu","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/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors"),("out","/gnu/store/q728m20lfwjkxycs8hy6g1qs9mk96c2j-jdom-1.1.3.tar.gz"),("preferLocalBuild","1"),("url","\"http://jdom.org/dist/binary/archive/jdom-1.1.3.tar.gz\"")])