Kan het zijn dat je Linux Mint niet iedere dag draait. Want dan kan het nodig zijn voordat je gaat updaten, dat je eerst in Updatebeheer moet klikken op Verversen. Dat heb ik hier zojuist gedaan in Linux Mint 17.1 amd64. Hier werd onder andere linux-libc-dev 3.13.0-53.89 geïnstalleerd. Dan zou het best kunnen dat 3.13.0-53.88 inmiddels verwijderd is van de server. Dit kun je controleren via commando apt-cache show linux-libc-dev | grep Version
[Enter]
Bij mij komt hieruit
jolo@conroe ~ $ apt-cache show linux-libc-dev | grep Version
Version: 3.13.0-53.89
Version: 3.13.0-24.46
Ik heb 'm trouwens op de Engelse spiegelserver staan.
Edit: Die apt-cache commando kun je het beste doen, nadat je in Mint' Updatebeheer hebt geklikt op Verversen.