openmpi (3.1.3-2) unstable; urgency=medium
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 31 Oct 2018 17:12:52 +0000 (17:12 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 31 Oct 2018 17:12:52 +0000 (17:12 +0000)
commite98e56805d798cb049ecce7c57487f2d6df1eee1
treed5cad64881949ea10f50f5dce8e63ef5c236b0ea
parent58ed8e70944de38d1f5d8a84edd5a8a32f33a223
parentfc3d798afd936ffee00114990aba11b0f530eb5e
openmpi (3.1.3-2) unstable; urgency=medium

  * Check if mpi alternatives is corrupt. If so, delete. Closes: #912437
  * openmpi-dev.postinst: don't call update-alt on abort
  * openmpi-bin.postinst: silence grep output on check

[dgit import unpatched openmpi 3.1.3-2]
38 files changed:
debian/TODO
debian/changelog
debian/compat
debian/control
debian/copyright
debian/libopenmpi-dev.README.Debian
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/series
debian/patches/verbose-ompi-rules.patch
debian/patches/version-script.patch
debian/rules
debian/source/format
debian/watch