Revisions of openmpi-gnu12 1

Adrian Reber's avatar Adrian Reber (adrianr) committed over 1 year ago (revision 1)