I wrote a similar answer here
To do this, first remove any lines with focal-proposed
from /etc/apt/sources.list
and /etc/apt/sources.list.d/*
.
Second we are going to tell apt to allow downgrades. That means pinning focal
, focal-updates
and focal-security
with priorities higher than 1000. Create /etc/apt/preferences.d/focal
with this content:
Package: *
Pin: release n=focal
Pin-Priority: 1001
Package: *
Pin: release n=focal-updates
Pin-Priority: 1002
Package: *
Pin: release n=focal-security
Pin-Priority: 1003
If you don't use focal-updates
or focal-security
then skip those sections.
Third, run the following:
sudo apt update
sudo apt upgrade
sudo apt dist-upgrade
sudo apt --fix-broken install
sudo apt autoremove
and keep rotating between those commands until everything is stable.
Finally, delete /etc/apt/preferences.d/focal
.
Alternatively, you can just delete focal-proposed
. Those packages will eventually migrate to focal-updates
when they pass their test and you'll be in sync again.
With your small delta, --fix-broken install
and autoremove
probably won't be neccessary but apt
will tell you when you read the output of the previous commands.
To anyone else who comes accross this post: Downgrading is not supported. Any downgrade of significant size is likely to fail. This is a pretty trivial case, but going from focal
to bionic
would probably be a disaster and leave you with a broken system.