So the Ubuntu packaging policy is now diverging from Debian's: Debian packages libboost-mpi-dev with version 1.42.0 of Boost MPI.
"No one" in the above must mean "no one in the Ubuntu management team" since clearly the Debian team have no problem with this issue.
So the Ubuntu packaging policy is now diverging from Debian's: Debian packages libboost-mpi-dev with version 1.42.0 of Boost MPI.
"No one" in the above must mean "no one in the Ubuntu management team" since clearly the Debian team have no problem with this issue.