Processing commands for control@bugs.debian.org: > severity 36875 important Bug#36875: resc1440tecra.bin does not install tecra kernel Severity set to `important'. > thanks Stopping processing here. Please contact me if you need assistance. Ian Jackson (administrator, Debian bugs database)