Derive([("out","/gnu/store/qfnvc6d5sjh40rl209dinm29w5xpm3nr-mpfr-2.4.2.tar.gz","sha256","246d7e184048b1fc48d3696dd302c9774e24e921204221540745e5464022b637")],[],["/gnu/store/6fc4hzrcspcrdq4rdvmggf6867w5ychx-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/6fc4hzrcspcrdq4rdvmggf6867w5ychx-mirrors"),("out","/gnu/store/qfnvc6d5sjh40rl209dinm29w5xpm3nr-mpfr-2.4.2.tar.gz"),("preferLocalBuild","1"),("url","\"mirror://gnu/mpfr/mpfr-2.4.2.tar.gz\"")])