Processing commands for cont...@bugs.debian.org: > block 855328 by 854905 Bug #855328 [release.debian.org] nmu: deal.ii_8.4.2-2 855328 was not blocked by any bugs. 855328 was not blocking any bugs. Added blocking bug(s) of 855328: 855204 and 854905 > block 849764 by 855328 Bug #849764 [libdeal.ii-dev] libdeal.ii-dev: fatal error: mpi.h: No such file or directory 849764 was not blocked by any bugs. 849764 was not blocking any bugs. Added blocking bug(s) of 849764: 855328 > severity 849764 important Bug #849764 [libdeal.ii-dev] libdeal.ii-dev: fatal error: mpi.h: No such file or directory Severity set to 'important' from 'normal' > user release.debian....@packages.debian.org Setting user to release.debian....@packages.debian.org (was gin...@debian.org). > usertag 854905 binnmu Usertags were: nmu. Usertags are now: binnmu nmu. > thanks Stopping processing here.
Please contact me if you need assistance. -- 849764: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849764 854905: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854905 855328: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855328 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
