Processing commands for control@bugs.debian.org: > severity 840168 wishlist Bug #840168 [apt-file] apt-file does not respect apt pinning priorities Severity set to 'wishlist' from 'important' > thanks Stopping processing here. Please contact me if you need assistance. -- 840168: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840168 Debian Bug Tracking System Contact owner@bugs.debian.org with problems