Okay, following advice from #ubuntu-motu, I'm forwarding this to Debian's Boost team mailing list, attaching debdiffs against sid's boost1.38 for their reference here.
-- libboost1.3?-dev should include dev tools https://bugs.launchpad.net/bugs/239670 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs