openmpi (3.1.0-3) unstable; urgency=medium
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 20 May 2018 19:08:01 +0000 (20:08 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 20 May 2018 19:08:01 +0000 (20:08 +0100)
commit31417e7defee9c8d2d7f6d85cac0a3adae5be98c
treeaac4369632aee052499c860f9daae5c9635ef5d8
parent89e72c95a63a98068893d61416e2ffdeb0dccf3b
parent769192ec6e2d4c3a768f97f60c5d5ea19ead4ae3
openmpi (3.1.0-3) unstable; urgency=medium

  * libmca_common_ofi, monitoring: handle with being arch-dependent.
Closes: 899169
[dgit import unpatched openmpi 3.1.0-3]
41 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/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