It is the same as Bug #153900 and similar to Bug #151943 but I have no /etc/apt/preferences (the user in Bug #151943 fixed the problem with)
It is the same as Bug #153900 preferences (the user in Bug #151943 fixed the problem with)
and similar to Bug #151943
but I have no /etc/apt/