gsell 01ed7c9387 openmpi/3.1.6 build

2020-07-16 14:45:55 +02:00

..

files

openmpi/3.1.6 build

2020-07-16 14:45:55 +02:00

build

openmpi: bugfixs in build script

2019-11-05 16:17:21 +01:00

modulefile

openmpi: fix handling of fallback libraries in modulefile

2020-07-16 14:45:32 +02:00