Also, update-manager seems to lose sync with the update sometimes when having a popup open - that interface seems very fragile.
** Attachment added: "/var/log/dist-upgrade/ files" http://librarian.launchpad.net/4939963/dulogs.zip -- ›gnat-gps-doc‹ konnte nicht installiert werden https://launchpad.net/bugs/69019 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs