openmpi (3.1.3-10) unstable; urgency=medium
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 20 Jan 2019 13:12:03 +0000 (13:12 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 20 Jan 2019 13:12:03 +0000 (13:12 +0000)
commitbe537acf95efdf574bca6ab1eec551dbfdf4f1e6
tree6dcb3df7a4ca885f425ba81ec2a1dc72f78d9573
parent58ed8e70944de38d1f5d8a84edd5a8a32f33a223
parent35facf5b9ed5ce363bbd55d29dbda18fef7e531a
openmpi (3.1.3-10) unstable; urgency=medium

  * Remove obsolete debian/TODO comments
  * Include cleanups of alternatives handling by Andreas Beckmann.
Closes: #915025
  * Add Breaks: libmpich-dev (<< 3.3~b1-5) to libopenmpi-dev as the mpi
    alternatives handling changed.

[dgit import unpatched openmpi 3.1.3-10]
39 files changed:
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