Hi, I've just tagged based on the information from Andreas Pakulat and uploaded the kdevelop 3.9.84/0.9.84 packages to unstable/kdevelop/3.9.84. Please keep both of us posted in case you find issues. Thanks, Dirk