Processed: These all have the same root cause

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 841555 src:p4est
Bug #841555 [src:deal.ii] deal.ii: FTBFS: build-dependency not installable: libp4est-dev
Bug reassigned from package 'src:deal.ii' to 'src:p4est'.
No longer marked as found in versions deal.ii/8.4.2-1.
Ignoring request to alter fixed versions of bug #841555 to the same values previously set
> reassign 840776 src:p4est
Bug #840776 [libp4est-dev] libp4est-dev: No version available for OpenMPI 2
Bug reassigned from package 'libp4est-dev' to 'src:p4est'.
No longer marked as found in versions p4est/1.1-2.
Ignoring request to alter fixed versions of bug #840776 to the same values previously set
> forcemerge 837058 840776 841555
Bug #837058 [src:p4est] p4est: FTBFS due to test failures
Bug #841555 [src:p4est] deal.ii: FTBFS: build-dependency not installable: libp4est-dev
836917 was blocked by: 822021 838299 835680 837530 837061 837030 837058 837532 837911 837914 837059 839361 812036 811907 837915 837055 825934 830440 837109 831164 837012 811651 837062 815348 817690
836917 was not blocking any bugs.
Added blocking bug(s) of 836917: 841555
Added indication that 841555 affects src:deal.ii
Marked as found in versions p4est/1.1-2 and p4est/1.1-3.
Bug #840776 [src:p4est] libp4est-dev: No version available for OpenMPI 2
Severity set to 'serious' from 'normal'
836917 was blocked by: 837109 837061 837030 830440 812036 837059 841555 837062 839361 837915 837532 825934 817690 815348 838299 822021 811651 837911 837012 811907 835680 837055 837058 837530 831164 837914
836917 was not blocking any bugs.
Added blocking bug(s) of 836917: 840776
Added indication that 840776 affects src:deal.ii
Marked as found in versions p4est/1.1-3 and p4est/1.1-2.
Added tag(s) sid and stretch.
Bug #837058 [src:p4est] p4est: FTBFS due to test failures
Added tag(s) stretch and sid.
Merged 837058 840776 841555
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
836917: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836917
837058: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837058
840776: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840776
841555: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841555
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems