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