user release.debian....@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
