Processed: openmpi / petsc / deal.ii

[Debian Bug Tracking System]

Processing commands for control at 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.org at packages.debian.org
Setting user to release.debian.org at packages.debian.org (was ginggs at 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 owner at bugs.debian.org with problems