Tim Biermann 6703ef7d98 openmpi: adopted port		2023-08-13 09:39:24 +02:00
..
.footprint
.signature	openmpi: adopted port	2023-08-13 09:39:24 +02:00
Pkgfile	openmpi: adopted port	2023-08-13 09:39:24 +02:00