Processing commands for control@bugs.debian.org: > severity 864839 wishlist Bug #864839 [sponsorship-requests] RFS: yices2/2.6.0-2 [ITP] Severity set to 'wishlist' from 'normal' > End of message, stopping processing here. Please contact me if you need assistance. -- 864839: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864839 Debian Bug Tracking System Contact owner@bugs.debian.org with problems