7 months ago · 194f115f50
parent 37b86b3fb5
commit 194f115f50
1 changed files with 7 additions and 0 deletions
--- a/setup/debian.stable.pref
+++ b/setup/debian.stable.pref
@ -0,0 +1,7 @@
+# 500 <= P < 990: causes a version to be installed unless there is a
+# version available belonging to the target release or the installed
+# version is more recent
+
+Package: *
+Pin: release a=stable
+Pin-Priority: 900