void-packages/srcpkgs/openmpi
Juan RP b00adab6b0 openmpi: lib32disabled=yes. 2014-04-02 14:18:48 +02:00
..
template