Processed: affects 800526

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> affects 800526 aspcud
Bug #800526 [clasp] aspcud fails to find solution if optimization criteria are passed for some problems
Added indication that 800526 affects aspcud
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
800526: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=800526
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems