/gnu/store/g77qjfadv1pp0hjkj8fhm54c8pmyd2z2-openmpi-4.1.1.tar.xz.drv