/gnu/store/1b1hx61dj2b9ci0qxmmfkplzygrh626m-openmpi-4.1.1.tar.xz.drv