Publishing details

Changelog

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

Available diffs

Builds

Built packages

Package files