Bump net/openmpi3 to version 3.1.4_2
authorDPorts Builder <nobody@home.ok>
Tue, 13 Aug 2019 00:44:42 +0000 (00:44 +0000)
committerDPorts Builder <nobody@home.ok>
Tue, 13 Aug 2019 00:44:42 +0000 (00:44 +0000)
commiteaf27af40fe1de07053c3d8a78cadc41383b9b12
treea337ce3140967bb21d746bc79fd04b1764882340
parentd0282bfa176b894e0353a64f4a60b6af66f5b5cf
Bump net/openmpi3 to version 3.1.4_2
net/openmpi3/Makefile