/gnu/store/g52c9qhksm5basibc0z8802scki9r90m-openmpi-4.1.6.tar.xz.drv