[Pkg-openmpi-maintainers] Bug#753001: Bug #753001: openmpi: New upstream version 1.8 available
Michael Banck
mbanck at debian.org
Wed Sep 2 14:40:26 UTC 2015
Alastair,
now that you took over maintainership and started fixing bugs in
unstable, will you update OpenMPI to 1.8 soon?
Michael
More information about the Pkg-openmpi-maintainers
mailing list