On 4/12/2020 10:44 AM, Reco wrote:
Your local apt index file is out of sync with the mirror. They should give a button in Synaptic that performs the equivalent of "apt-get update".
Reload.