/gnu/store/7azi5g4l5hpna1clmj5fxwinw44zc0gl-openmpi-4.1.4.tar.xz.drv