Ubuntu
boost1.37 package

  1. Bug #372756
  2. Comment #4

Comment 4 for bug 372756

Revision history for this message
Loïc Minier (lool) wrote :

boost1.37 build-deps on mpi-default-dev so mpi-defaults (source) and mpi-default-dev (binary) need promotion to main as well; these are trivial.