[Pkg-openmpi-maintainers] Bug#640950: closing 640950

Manuel Prinz manuel at debian.org
Sat Mar 1 22:01:36 UTC 2014

Previous message: [Pkg-openmpi-maintainers] Processed: closing 671621
Next message: [Pkg-openmpi-maintainers] Processed: closing 640950
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Pkg-openmpi-maintainers] Processed: closing 671621
Next message: [Pkg-openmpi-maintainers] Processed: closing 640950
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-openmpi-maintainers mailing list