kdevelop-php 5.0.1-2 is marked for autoremoval from testing on 2017-01-14 It (build-)depends on packages with these RC bugs: 846410: kdevelop: kdevelop crahses when starting (5.0.1)