Hi, I'm planning on changing the requirement for kdevplatform/kdevelop to KDE 4.3.0 next weekend. So if you're still running 4.2, please find your distributions update-page for 4.3 packages. Andreas -- You have the capacity to learn from mistakes. You'll learn a lot today.