void-packages/srcpkgs/openmpi
Christian Neukirchen ed53c63554 openmpi: update to 1.8.2. 2014-08-28 00:51:19 +02:00
..
template