This bug was fixed in the package boost1.53 - 1.53.0-6+exp3ubuntu4
--------------- boost1.53 (1.53.0-6+exp3ubuntu4) saucy; urgency=low
* Rebuild to match boost-mpi-source version number. -- Dmitrijs Ledkovs <email address hidden> Tue, 03 Sep 2013 08:50:33 +0100
This bug was fixed in the package boost1.53 - 1.53.0- 6+exp3ubuntu4
--------------- 6+exp3ubuntu4) saucy; urgency=low
boost1.53 (1.53.0-
* Rebuild to match boost-mpi-source version number.
-- Dmitrijs Ledkovs <email address hidden> Tue, 03 Sep 2013 08:50:33 +0100