/gnu/store/fhb2k2bw0jcxir8zrxqmg0xgc89zxm26-openmpi-4.1.3.tar.xz.drv