Processed: Empty PETSc package bugs

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 584551 grave
Bug #584551 [libpetsc3.1] libpetsc3.1 empty on non-amd64 architectures
Severity set to 'grave' from 'normal'

> merge 584551 586220
Bug#584551: libpetsc3.1 empty on non-amd64 architectures
Bug#586220: libpetsc3.1 is empty
Merged 584551 586220.

> thanks
Stopping processing here.

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