Bug#520597: [Pkg-openmpi-maintainers] Bug#520597: openmpi: New release 1.3.1 available

[Shaun Jackman]

Hi Manuel,

Is Open MPI 1.3.1 not binary compatible with Open MPI 1.3?

Cheers,
Shaun



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org