[Pkg-openmpi-maintainers] Bug#640950: closing 640950
Manuel Prinz
manuel at debian.org
Sat Mar 1 22:01:36 UTC 2014
close 640950 1.5.4-1
thanks
As mentioned in the discussion, we can close this. I verified
that libmpi_f77 is still NEEDED in the most recent version.
Best regards,
Manuel
More information about the Pkg-openmpi-maintainers
mailing list