/gnu/store/zz7iz7gi4gayl06sr4sgdrhyy3g5mn9d-openmpi-4.1.1.tar.xz.drv