Processed: Re: Bug#855204: libpetsc3.7.5-dev: uninstallable - Depends: libopenmpi-dev (< 2.0.2~git.20161226)

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 release.debian.org
Bug #855204 [libpetsc3.7.5-dev] libpetsc3.7.5-dev: uninstallable - Depends: libopenmpi-dev (< 2.0.2~git.20161226)
Bug reassigned from package 'libpetsc3.7.5-dev' to 'release.debian.org'.
No longer marked as found in versions petsc/3.7.5+dfsg1-3.
Ignoring request to alter fixed versions of bug #855204 to the same values previously set
> forcemerge 854905 -1
Bug #854905 [release.debian.org] nmu: petsc_3.7.5+dfsg1-4
Bug #854905 [release.debian.org] nmu: petsc_3.7.5+dfsg1-4
Added tag(s) stretch and sid.
Bug #855204 [release.debian.org] libpetsc3.7.5-dev: uninstallable - Depends: libopenmpi-dev (< 2.0.2~git.20161226)
Severity set to 'normal' from 'serious'
Added indication that 855204 affects libpetsc3.7.5-dev
Merged 854905 855204

-- 
854905: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854905
855204: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855204
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems