Silvano (spaccabyte), if you never added that PPA (and the majority of Ubuntu users will not have) then there is nothing to remove. In that case, you probably have the "standard" gcc and could just follow the instructions at https://ubuntuforums.org/showthread.php?t=2385621&s=f41dc2da85d14b7d5854118ae4594254&p=13742673#post13742673 in post #7. You may need to exit and restart Synaptic during the process, if it won't let you reinstall the kernel after removing it.
Silvano (spaccabyte), if you never added that PPA (and the majority of Ubuntu users will not have) then there is nothing to remove. In that case, you probably have the "standard" gcc and could just follow the instructions at https:/ /ubuntuforums. org/showthread. php?t=2385621& s=f41dc2da85d14 b7d5854118ae459 4254&p= 13742673# post13742673 in post #7. You may need to exit and restart Synaptic during the process, if it won't let you reinstall the kernel after removing it.