This bug was fixed in the package openmpi - 1.4.3-2.1ubuntu3
--------------- openmpi (1.4.3-2.1ubuntu3) precise; urgency=low
* debian/patches/arm_support: fix ARM timer code (LP: #949044). -- Leif Lindholm <email address hidden> Tue, 27 Mar 2012 14:52:48 +0300
This bug was fixed in the package openmpi - 1.4.3-2.1ubuntu3
---------------
openmpi (1.4.3-2.1ubuntu3) precise; urgency=low
* debian/ patches/ arm_support: fix ARM timer code (LP: #949044).
-- Leif Lindholm <email address hidden> Tue, 27 Mar 2012 14:52:48 +0300