Please close this bug report. The problem was that I'd run out of space in /boot. I did some tidying up and the package installed just fine. Sorry!
Please close this bug report. The problem was that I'd run out of space in /boot. I did some tidying up and the package installed just fine. Sorry!