/gnu/store/spi5briwvs4bircparvcwbz02kyy83qk-openmpi-4.1.2.tar.xz.drv