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

[Adrian Bunk]

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

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"

cu
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed