In the top-right corner of the kdevelop.org website, it says that 4.1.1 is the latest release, but 4.2.0 has been out for a couple weeks now. I think that this should be fixed. Thanks, Marco Poletti