On Sun, Dec 25, 2016 at 09:49:03AM +0100, Olaf van der Spek wrote: > Package: apt > Version: 1.4~beta2 > Severity: normal > > Dear Maintainer, > > mariadb-server-10.0 should be 'upgraded' to mariadb-server-10.1 but instead > dist-upgrade removes mariadb-server mariadb-server-10.0 > mariadb-server-core-10.0 without upgrading anything. > > Gr, > Olaf
I'm not a solver expert, but: > > # apt dist-upgrade > The following packages will be REMOVED: > mariadb-server mariadb-server-10.0 mariadb-server-core-10.0 > 0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded. > # apt install mariadb-server > 1 upgraded, 7 newly installed, 4 to remove and 0 not upgraded. This one removes a package more (and in addition to that also does other changes), so it really is worse solution than just removing mariadb-server altogether. I'm not sure, but maybe we are not weighting removals of automatically installed packages lower than removals of manually installed packages? -- Debian Developer - deb.li/jak | jak-linux.org - free software dev | Ubuntu Core Developer | When replying, only quote what is necessary, and write each reply directly below the part(s) it pertains to ('inline'). Thank you.