Processing commands for control@bugs.debian.org: > found 701941 gcc-4.7/4.7.2-4 Bug #701941 [libstdc++6] libstdc++6: Debug symbols should be in libstc++6-dbg Marked as found in versions gcc-4.7/4.7.2-4. > thanks Stopping processing here. Please contact me if you need assistance. -- 701941: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=701941 Debian Bug Tracking System Contact owner@bugs.debian.org with problems