Public bug reported:

boost-mpi and boost-mpi-dev used to be included.  They are no longer
included.  Bug 531973 was resolved by removing them from boost-defaults,
but even if they are not in boost-defaults it would be helpful to have
them available in ubuntu.

** Affects: boost1.42 (Ubuntu)
     Importance: Undecided
         Status: New

-- 
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

Reply via email to