Bug#851102: unblock: petsc/3.7.5+dfsg1-2

[Drew Parsons <dparsons@debian.org>]

Drew Parsons wrote:
> Please unblock package petsc
> 
> Upstream has just released patch version 3.7.5, fixing various bugs.
...
> 3.7.5+dfsg1-1 is already uploaded to experimental, ready to be
> dropped into unstable as petsc/3.7.5+dfsg1-2 with your agreement.
> 
> It would be a good service for the users of stretch if they had
> access
> to the bug fixes provided in this release.
> 
> unblock petsc/3.7.5+dfsg1-2

petsc 3.7.4+dfsg1-9 is now migrated to testing (fixing RC bug #850599
in stretch).  That clears the way for updating petsc to 3.7.5 for the
stretch release. 

I'll upload petsc 3.7.5+dfsg1-2 to unstable in the coming 24 hours once
the migration of 3.7.4+dfsg1-9 to testing has been pushed to servers.

Thanks,
Drew