wok log openmpi/receipt

age author description
2019-05-28 Hans-G?nter Theisgen updated openmpi and openmpi-dev (1.5.3 -> 4.0.1)
2018-12-13 Pascal Bellard Get xscavenger tarball from archive.org
2013-12-05 Pascal Bellard Add some licenses
2011-03-17 Christopher Rogers Up: openmpi to 1.5.3.
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.