void-packages/srcpkgs/openmpi
Christian Neukirchen 51ca7b40d0 openmpi: update to 1.10.2. 2016-01-23 21:32:56 +01:00
..
template
update