Package: libpetsc-real3.21-dev Followup-For: Bug #1085405 X-Debbugs-Cc: francesco.balla...@unicatt.it, martin.di...@kuleuven.be, dpars...@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
