[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Is boost1.40 in use?


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.


 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

Reply to: