wok log openmpi-dev/receipt

age author description
2011-03-16 Christopher Rogers Up: openmpi to 1.5.2.
2011-03-04 Christopher Rogers Fixed openmpi.
2011-01-25 Christopher Rogers Add openmpi.