On Sat, Mar 18, 2017 at 08:08:55PM +0200, Adrian Bunk wrote: > Source: gecode > Version: 4.4.0-3 > Severity: serious > > https://buildd.debian.org/status/fetch.php?pkg=gecode&arch=ppc64el&ver=4.4.0-3%2Bb1&stamp=1489745301&raw=0
Aside from some namespacing changes, the ppc_rounding_control.hpp included with Gecode is identical to the current libboost-dev version. Is there an binNMU scheduled for Boost? I'd expect the issue to exist there also.