On Sat, Jun 13, 2015 at 4:31 PM, Tollef Fog Heen wrote: > I could see us extending the apt preferences format to be something > like: Why the preferences file instead of the sources.list file, which can already be in deb822 format? https://lists.debian.org/deity/2014/01/msg00055.html Some more hardening we could do along with the key thing: https://lists.debian.org/deity/2014/02/msg00017.html -- bye, pabs https://wiki.debian.org/PaulWise