|
|
c782b5bfbc
|
openmpi: double entry removed in variants
|
2018-07-12 16:45:05 +02:00 |
|
|
|
f62924c8f3
|
openmpi/3.0.0 with gcc/7.3.0 released as stable
|
2018-07-11 10:48:35 +02:00 |
|
|
|
706d0e947a
|
directory 'openmpi/3.0' renamed to 'openmpi/3'; gnuplot variants moved to 'files' directory
|
2018-07-11 10:26:28 +02:00 |
|
