openmpi-devel-gcc5
v 4.1.1
Updated: 2 years, 11 months ago
Obsolete port, replaced by openmpi-gcc7
This port has been replaced by openmpi-gcc7.
NOTE: openmpi-devel-gcc5: Devel subports no longer supported
This port has been replaced by openmpi-gcc7.
NOTE: openmpi-devel-gcc5: Devel subports no longer supported
https://www.open-mpi.org/
This port has been deleted. This page will exist till another port with the name "openmpi-devel-gcc5" comes
into existence.
| Installations |
0 |
| Requested Installations |
0 |