Processing commands for cont...@bugs.debian.org: > severity 863224 serious Bug #863224 [src:acl2] acl2: build fails on mips (mips-aql-05) Severity set to 'serious' from 'important' > thanks Stopping processing here.
Please contact me if you need assistance. -- 863224: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863224 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
