Я исправил пакеты, выполнив шаги, описанные в процедуре устранения проблем менеджера пакетов Ubuntu. Я полагал, что предыдущие пакеты были как-то сломаны.