wok-current log openmpi/description.txt

age author description
2022-05-18 Hans-G?nter Theisgen updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)