/gnu/store/99cvbq6h98ns54cr6sfnkc2nyby4lyg4-openmpi-4.1.5.tar.xz.drv