/gnu/store/345k36fyncxbyp93yaspgi026idpbx9y-openmpi-4.1.6.tar.xz.drv