Bug#1085405: Unresolvable dependency for libpetsc-real3.21-dev (Sid)

[Francesco Ballarin]

Package: libpetsc-real3.21-dev
Followup-For: Bug #1085405
X-Debbugs-Cc: francesco.ballarin at unicatt.it, martin.diehl at kuleuven.be, dparsons at debian.org

Thanks Martin,
we must thus update petsc for openmpi 5, which was uploaded to unstable a few
days ago.

We'll work on this and close this bug as soon as possible.

Cheers,
Francesco