openmpi (3.1.3-9) unstable; urgency=medium
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 8 Jan 2019 19:20:33 +0000 (19:20 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 8 Jan 2019 19:20:33 +0000 (19:20 +0000)
commitd42f607713cfe3a31b885618113682e44223bda9
tree40d667ba94165697174df81420959bc0119a4137
parent58ed8e70944de38d1f5d8a84edd5a8a32f33a223
parent690ac4a4e17c1d60400e0b9f715b33e482a4c5f4
openmpi (3.1.3-9) unstable; urgency=medium

  * Re-enable external pmix now that it works with 32-bit systems again.
Closes: #918713.
[dgit import unpatched openmpi 3.1.3-9]
40 files changed:
debian/TODO
debian/changelog
debian/compat
debian/control
debian/copyright
debian/libopenmpi-dev.README.Debian
debian/libopenmpi-dev.fortran-mod
debian/libopenmpi-dev.install
debian/libopenmpi-dev.links.in
debian/libopenmpi-dev.postinst.in
debian/libopenmpi-dev.preinst.in
debian/libopenmpi-dev.prerm.in
debian/libopenmpi3.install
debian/libopenmpi3.links.in
debian/openmpi-bin.README.Debian
debian/openmpi-bin.install
debian/openmpi-bin.links
debian/openmpi-bin.manpages
debian/openmpi-bin.postinst
debian/openmpi-bin.preinst.in
debian/openmpi-bin.prerm
debian/openmpi-common.install
debian/openmpi-common.links
debian/openmpi-doc.install
debian/openmpi-doc.manpages
debian/patches/build_hurd
debian/patches/fix-underlinking.patch
debian/patches/hppa.patch
debian/patches/hurd-maxhostnamelen.patch
debian/patches/libdir.patch
debian/patches/manpage_macros
debian/patches/opal_fifo.patch
debian/patches/openjdk10.patch
debian/patches/pmix-modex.patch
debian/patches/series
debian/patches/verbose-ompi-rules.patch
debian/patches/version-script.patch
debian/rules
debian/source/format
debian/watch