wok diff mariadb-dev/receipt @ rev 25020
updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | 2b545d56eedc |
children | b56b38cfd475 |
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | 2b545d56eedc |
children | b56b38cfd475 |