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. -- Please package boost-mpi and boost-mpi-dev https://bugs.launchpad.net/bugs/582420 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
