diff options
author | Jonas Smedegaard <dr@jones.dk> | 2013-03-07 20:24:46 +0100 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2013-03-07 20:24:46 +0100 |
commit | db00b97e86ecf87a8492c1a08198c6e3ee31c6d8 (patch) | |
tree | 7243d11a3144f99d628d32887592e0cd11d201dc /apt/preferences.d/local-x11 | |
parent | ab45d2266fd3ed0a7bed08e24301b0a28c9440d3 (diff) |
Add pinnings for experimental x11 packages, and include all VA drivers in multimedia pinnings.
Diffstat (limited to 'apt/preferences.d/local-x11')
-rw-r--r-- | apt/preferences.d/local-x11 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/apt/preferences.d/local-x11 b/apt/preferences.d/local-x11 new file mode 100644 index 0000000..86eaf4c --- /dev/null +++ b/apt/preferences.d/local-x11 @@ -0,0 +1,7 @@ +Package: xserver-xorg-video-* libdrm* +Pin: release o=Debian,a=experimental +Pin-Priority: 500 + +Package: xserver-xorg-input-* libmtdev* libdrm* +Pin: release o=Debian,a=experimental +Pin-Priority: 500 |