openmpi 4.0.5-1 source package in Debian

Changelog

openmpi (4.0.5-1) unstable; urgency=medium

  * New upstream release
  * Update libversions:
    libmpi.so 40.20.4 -> 40.20.5
    libopen-pal.so 40.20.4 -> 40.20.5
    libopen-rte.so 40.20.4 -> 40.20.5
    libmpi_usempif08: 40.21.1 -> 40.21.2
  * Add libpmix-dev as Dependency of libopenmpi-dev
  * Depend on libjs-jquery-ui in -dev pkg rather than use external version
  * Move to debhelper 13; use DEB_HOST_MULTIARCH vars rather than autogenerated
    link, install files
  * Drop use_openib patch now that UCX enabled
  * Change gdb.conf and branch names to match DEP-14 recommendations

 -- Alastair McKinstry <email address hidden>  Wed, 09 Sep 2020 16:48:29 +0100