/gnu/store/69xs0s0vfaj3g7mm7m1bhzkrvd4h3l28-openmpi-4.1.1.tar.xz.drv