openmpi-devel-gcc7
v 4.1.1
Updated: 3 years, 6 months ago
Obsolete port, replaced by openmpi-gcc7
This port has been replaced by openmpi-gcc7.
NOTE: openmpi-devel-gcc7: Devel subports no longer supported
This port has been replaced by openmpi-gcc7.
NOTE: openmpi-devel-gcc7: 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-gcc7" comes
into existence.
Installations |
0 |
Requested Installations |
0 |