openmpi (3.1.0-7) unstable; urgency=medium
authorAlastair McKinstry <mckinstry@debian.org>
Sat, 9 Jun 2018 12:36:15 +0000 (13:36 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sat, 9 Jun 2018 12:36:15 +0000 (13:36 +0100)
commitd1bb1b7c600be044a925cf7c635c354633cc4da0
tree2350e7bfbbd2fc6872768e23ca25c9b4f99fba87
parent89e72c95a63a98068893d61416e2ffdeb0dccf3b
parentcbc613322d219b499b1e62cee95ab42cbffb51bd
openmpi (3.1.0-7) unstable; urgency=medium

  * Enable libpsm2.  Closes: #901132

[dgit import unpatched openmpi 3.1.0-7]
42 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/arm64.patch
debian/patches/build_hurd
debian/patches/fix-underlinking.patch
debian/patches/hppa.patch
debian/patches/hurd-maxhostnamelen.patch
debian/patches/libdir.patch
debian/patches/link-libfabric.patch
debian/patches/manpage_macros
debian/patches/opal_fifo.patch
debian/patches/openjdk10.patch
debian/patches/powerpc.patch
debian/patches/series
debian/patches/verbose-ompi-rules.patch
debian/patches/version-script.patch
debian/rules
debian/source/format
debian/source/options
debian/watch