I am looking for a debian package for kdevelop. Is one already build or should I go for a source install? Thank you, matthias Wieser