I'm using a package provided in a PPA on Ubuntu. I use the PPA version because Debian's version is anemic to the point its effectively broken.
Today, when I went through the cycle of
apt-get update and apt=get dist-upgrade, I was presented with:
$ sudo apt-get dist-upgrade
Reading package lists... Done
Building dependency tree
Reading state information... Done
Calculating upgrade... Done
The following NEW packages will be installed:
binutils-arm-none-eabi libnewlib-arm-none-eabi libnewlib-dev
The following packages will be upgraded:
gcc-arm-none-eabi libcurl3 libcurl3-gnutls
3 upgraded, 3 newly installed, 0 to remove and 0 not upgraded.
Need to get 338 kB/24.7 MB of archives.
After this operation, 9,572 kB disk space will be freed.
dist-upgrade is trying to install the packages that caused me the trouble in the past:
gcc-arm-none-eabi. Even a standard
upgrade tries to install some of the same packages that caused me trouble.
I want to permanently block the distro's packages for
gcc-arm-none-eabi. How does one Permanently block a distro package, but allow a PPA that provides the same package?