2015-01-01 19:30:21 +00:00
|
|
|
# bugs in codenames:
|
|
|
|
|
# https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714726
|
|
|
|
|
|
2014-12-29 15:56:44 +00:00
|
|
|
# target-release priorities should be >= 990 (and < 1000) apart from backports
|
|
|
|
|
|
|
|
|
|
# Debian stable
|
|
|
|
|
Package: *
|
2015-01-01 18:27:13 +00:00
|
|
|
Pin: release o=Debian,a=stable*
|
|
|
|
|
Pin-Priority: 990
|
2014-12-29 15:56:44 +00:00
|
|
|
|
2015-01-01 19:30:21 +00:00
|
|
|
# stable proposed-updates misses the "stable-" prefix: #714726
|
2015-01-01 19:01:45 +00:00
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian,a=proposed-updates
|
|
|
|
|
Pin-Priority: 990
|
|
|
|
|
|
2015-01-01 19:30:21 +00:00
|
|
|
# not working right now: #714726
|
2014-12-29 15:56:44 +00:00
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian Backports,a=stable-backports
|
|
|
|
|
Pin-Priority: 980
|
|
|
|
|
|
|
|
|
|
# Debian testing
|
|
|
|
|
Package: *
|
2015-01-01 18:27:13 +00:00
|
|
|
Pin: release o=Debian,a=testing*
|
|
|
|
|
Pin-Priority: 890
|
2014-12-29 15:56:44 +00:00
|
|
|
|
2015-01-01 19:30:21 +00:00
|
|
|
# not working right now: #714726
|
2014-12-29 15:56:44 +00:00
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian Backports,a=testing-backports
|
|
|
|
|
Pin-Priority: 880
|
|
|
|
|
|
|
|
|
|
# Debian unstable
|
|
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian,n=sid*
|
|
|
|
|
Pin-Priority: 300
|
|
|
|
|
|
2015-01-01 19:30:21 +00:00
|
|
|
# workaround for backports: #714726
|
2015-01-01 19:01:45 +00:00
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian Backports
|
|
|
|
|
Pin-Priority: 400
|
|
|
|
|
|
2014-12-29 15:56:44 +00:00
|
|
|
# Debian others (experimental, ...)
|
|
|
|
|
Package: *
|
|
|
|
|
Pin: release o=Debian
|
2017-06-06 11:34:59 +00:00
|
|
|
Pin-Priority: 1
|
