/gnu/store/6lkd10fk73jsfbb80l68892ahx87znyz-openmpi-4.1.3.tar.xz.drv