Processing commands for control@bugs.debian.org: > reassign 156728 wnpp Bug#156728: ITP: spass -- An automated theorem prover Bug reassigned from package `spass' to `wnpp'. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)