Derive([("out","/gnu/store/c039l30n36l6q8adg44d8b074a0q1c5v-mpfi-1.5.3.tar.bz2","sha256","2383d457b208c6cd3cf2e66b69c4ce47477b2a0db31fbec0cd4b1ebaa247192f")],[],["/gnu/store/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors","/gnu/store/z25xhi95bnr7xh4abw1m3307553cqsqw-content-addressed-mirrors"],"mips64el-linux","builtin:download",[],[("content-addressed-mirrors","/gnu/store/z25xhi95bnr7xh4abw1m3307553cqsqw-content-addressed-mirrors"),("impureEnvVars","http_proxy https_proxy LC_ALL LC_MESSAGES LANG COLUMNS"),("mirrors","/gnu/store/7f1alh9qj2h0wwy2220npgnmw6pbrkwx-mirrors"),("out","/gnu/store/c039l30n36l6q8adg44d8b074a0q1c5v-mpfi-1.5.3.tar.bz2"),("preferLocalBuild","1"),("url","\"https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-1.5.3.tar.bz2\"")])