Processed: Re: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-07 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 src:cbmc Bug #763228 [g++-4.9] cbmc: FTBFS: ld: final link failed: Bad value Bug reassigned from package 'g++-4.9' to 'src:cbmc'. No longer marked as found in versions gcc-4.9/4.9.1-16. Ignoring request to alter fixed versions of bug #763228 to the same v

Bug#763228: Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-07 Thread Matthias Klose
Control: reassign -1 src:cbmc Am 08.10.2014 um 02:45 schrieb Debian Bug Tracking System: > Processing control commands: > >> reassign -1 g++-4.9 4.9.1-16 > Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value > Bug reassigned from package 'src:cbmc' to 'g++-4.9'. > No longer marke

Processed: g++ producing overlapping exception frames [was: Re: Bug#763228: cbmc: FTBFS: ld: final link failed: Bad value]

2014-10-07 Thread Debian Bug Tracking System
Processing control commands: > reassign -1 g++-4.9 4.9.1-16 Bug #763228 [src:cbmc] cbmc: FTBFS: ld: final link failed: Bad value Bug reassigned from package 'src:cbmc' to 'g++-4.9'. No longer marked as found in versions cbmc/4.9-3. Ignoring request to alter fixed versions of bug #763228 to the sam