Processing commands for [EMAIL PROTECTED]: > 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)
