Bug#854905: nmu: petsc_3.7.5+dfsg1-4

[Emilio Pozuelo Monfort <pochu@debian.org>]

user release.debian.org@packages.debian.org
usertag 854905 nmu
thanks

On 11/02/17 21:41, Adrian Bunk wrote:
> Control: reassign -1 release.debian.org
> Control: retitle -1 nmu: petsc_3.7.5+dfsg1-4
> Control: severity -1 normal
> Control: tags -1 - sid
> Control: affects -1 libpetsc3.7.5-dev

You forgot to usertag it...

> 
> On Sat, Feb 11, 2017 at 11:32:39AM -0800, Dima Kogan wrote:
>> Package: libpetsc3.7.5-dev
>> Severity: grave
>>
>> Hi. Currently libpetsc3.7.5-dev is uninstallable. Sbuild resolver says:
>>
>>     missing:
>>      pkg:
>>       package: libpetsc3.7.5-dev
>>       version: 3.7.5+dfsg1-4
>>       architecture: amd64
>>       unsat-dependency: libopenmpi-dev:amd64 (< 2.0.2~git.20161226)
>>      depchains:
>>       -
>>        depchain:
>>         -
>>          package: sbuild-build-depends-sundials-dummy
>>          version: 0.invalid.0
>>          architecture: amd64
>>          depends: libpetsc3.7-dev:amd64
>>         -
>>          package: libpetsc3.7-dev
>>          version: 3.7.5+dfsg1-4
>>          architecture: amd64
>>          depends: libpetsc3.7.5-dev:amd64
>>  
>>
>> Which is true, because libpetsc3.7.5-dev has
>>
>>     Depends: libopenmpi-dev (>= 2.0.2~git.20161225),
>>              libopenmpi-dev (<< 2.0.2~git.20161226)
>>
>> But the only available libopenmpi-dev is 2.0.2-2
> 
> A binNMU seems to be sufficient here.
> 
> nmu petsc_3.7.5+dfsg1-4 . ANY . unstable . -m "Rebuild with openmpi 2.0.2"

We should probably wait until petsc migrates, and then maybe not do this unless
we unblock openmpi.

Emilio