Ubuntu
boost-defaults package

  1. Bug #531973
  2. Comment #20

Comment 20 for bug 531973

Revision history for this message
Fabrice Coutadeur (fabricesp) wrote :

Right: I misspelled the patch number.
And I think it's ok to reference this bug in the other one, with a direct link to Scottk comment: this would give an explanation why boost-mpi* package are not built.