Processing commands for control@bugs.debian.org: > found 507175 0.7.18 Bug#507175: Downgrade refused despite Pin-Piriority > 1000 Bug marked as found in version 0.7.18. > End of message, stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)