[petsc-users] Update to MUMPS 5.1.1

[Tim Steinhoff]

Hi all,

there is new version of MUMPS with some nice improvements:
http://mumps.enseeiht.fr/index.php?page=dwnld#cl
Is it possible to update the package in the petsc repository?

Thanks and kind regards,

Volker