[Pkg-openmpi-maintainers] Processed: Re: Bug#456721: libpetsc.so depends on unexistent libraries

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 456721 libopenmpi1
Bug#456721: libpetsc.so depends on unexistent libraries
Bug reassigned from package `libpetsc2.3.3' to `libopenmpi1'.

> severity 456721 grave
Bug#456721: libpetsc.so depends on unexistent libraries
Severity set to `grave' from `normal'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)