Bug#797234: source-highlight, regina-normal and libstdc++6

2015-10-28 Thread Peter Eisentraut
On 10/24/15 1:44 PM, Benjamin Burton wrote: >> That leaves the question: what to do with this bug? > > FYI, if a rebuild *is* required then I presume it would be a simple rename > from libsource-highlight4 to libsource-highlight4v5; see the (tested) patch > below. I’m happy to NMU this if the

Bug#797234: source-highlight, regina-normal and libstdc++6

2015-10-24 Thread Benjamin Burton
> That leaves the question: what to do with this bug? FYI, if a rebuild *is* required then I presume it would be a simple rename from libsource-highlight4 to libsource-highlight4v5; see the (tested) patch below. I’m happy to NMU this if the maintainer does not have time (which is why the

Bug#797234: source-highlight, regina-normal and libstdc++6

2015-10-24 Thread Benjamin Burton
So: it turns out that the regina-normal build failure was not because of the libstdc++6 transition, but because source-highlight was built against an old version of libboost-regex. It seems that between August and now, somebody has binNMUed source-highlight to use boost 1.58, and as a result