Publishing details

Changelog

openmpi (4.1.4-ok2) yangtze; urgency=medium

  * Update debian/rules --with-pmix path.

 -- Luoyaoming <email address hidden>  Tue, 01 Nov 2022 16:10:36 +0800

Available diffs

Builds

Built packages

Package files