[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Processed: Re: Bug#156728: ITP: spass -- An automated theorem prover



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)



Reply to: