On 2017-07-22 00:23, Ralph Ronnquist wrote:
> Boruch Baum wrote on 21/07/17 23:50:
> > Where else should I be looking?
>
> Perhaps you've set "APT::Default-Release "jessie";" ?
>
> Without that, you'll get the more balanced pinning of 500 and 100.
> I think I saw some Debian bug report (on apt?) for this.

Thanks, Ralph!

That's good news and solved the immediate mystery, but isn't yet an
entire solution.

The good news is that, indeed, that was the only line in my
/etc/apt/apt.conf file, and upon being commented out, running apt-cache
policy on a package such as reportbug did report all 990 pinnings gone.

The bad news is that if this is the only step I take, "apt-get" will
want to upgrade 1248 packages (it looks more impressive when I write it
out . . One Thousand, Two Hundred and Forty Eight packages) with a
download size of 608 Mb.

The over-riding news is that it's getting too close to Shabbat to be
starting to mess with this kind of thing, so continuing this will have
to wait until Saturday night or Sunday.

--
hkp://keys.gnupg.net
CA45 09B5 5351 7C11 A9D1 7286 0036 9E45 1595 8BC0