Bug#865526: libpetsc3.7.5-dev: uninstallable on current sid

[Drew Parsons]

On Fri, 30 Jun 2017 05:56:30 +0300 Adrian Bunk <bunk at debian.org> wrote:
> 
> This is a release critical bug that should stay open until it is
fixed 
> in sid.


nmu has been filed in #866582 which will fix the bug in this instance.

The strict dependency of PETSc on the MPI version (that requires the
rebuild) is a bit of a nuisance.  It appears in
/usr/lib/petsc/include/petscsys.h.  In 3.7.6 they have a strict
equality on the OMPI version dependency.  I've contacted them about it
and they've made a patch to relax it to a minor version dependency
rather than a release (patch) version dependency, which
should help us.

That patch is held at
https://bitbucket.org/petsc/petsc/commits/ca70f86ee9db8e69523e0e69f1228
9c6cab9b4cb?at=jed/mpi-semver
but looks like it hasn't been merged to upstream master yet.  

We should talk to upstream about it again.

Drew