On Sun 01 Nov 2015 at 00:16:09 +0100, Javi Barroso wrote: > El 31 de octubre de 2015 21:34:51 CET, Brian <a...@cityscape.co.uk> escribió: > >On Sat 31 Oct 2015 at 21:12:42 +0100, Javi Barroso wrote: > >> You can see when priority was overruled > >> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=758561#12 > > > >This is a very good pointer. It doesn't explain why two different tools > >give different answers but it does get to the heart of the matter. > > I guess override action are done by ftp-masters when maintainer has > not time or interest changing some parameters > > See, for more información wiki page: > https://wiki.debian.org/FtpMaster/Override
Thanks to you and Teemu Likonen for prodding my memory. 'apt-get update' does not update dpkg's database so 'dpkg --status' me gave something from a year ago and so the answers to the two queries were different. No overruling or overriding. And no "verifiable" fact either! Rather prosaic really. I think I'll go back to using 'dselect update'. :)