void-packages/srcpkgs/openmpi
Juan RP 89eb3048a8 openmpi: update to 1.8.7. 2015-08-03 09:40:18 +02:00
..
template
update