Hi, currently we are wondering if we should update boost to 1.42 on backports, or if nobody needs it, just remove boost1.40. Building boost needs a lot of buildd power, so if it is not in use, removing it is the better option. Cheers, Bernd -- Bernd Zeimetz Debian GNU/Linux Developer http://bzed.de http://www.debian.org GPG Fingerprint: ECA1 E3F2 8E11 2432 D485 DD95 EB36 171A 6FF9 435F