{"nars":[],"derivations":[{"filename":"/gnu/store/mdkqm2hm3x6vvgzmv7z1d1cpdwd3d0jz-openmpi-4.1.5.drv"}]}