Derive([("out","/gnu/store/vwvs05k0iwl32mhgb669x0z23xbnava8-openmpi-4.0.5.tar.bz2","sha256","c58f3863b61d944231077f344fe6b4b8fbb83f3d1bc93ab74640bf3e5acac009")],[],["/gnu/store/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors","/gnu/store/vwyxp1dq4lb97n6b20w5cqxasy2dai79-content-addressed-mirrors"],"mips64el-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/fvxfibb34dqvkc0z3yfxwd41r2s0j73w-mirrors"),("out","/gnu/store/vwvs05k0iwl32mhgb669x0z23xbnava8-openmpi-4.0.5.tar.bz2"),("preferLocalBuild","1"),("url","\"https://www.open-mpi.org/software/ompi/v4.0/downloads/openmpi-4.0.5.tar.bz2\"")])