smaller than the .gz one. * Added a few mirror sites, since the main (redhat) site is overloaded at the moment. Thanks to:Mikhail Teterin and Dmitry S. Sivachenko for the suggestion.
when committing it. Oops.
IDE/source code analysis tool. Obtained from: Freshmeat posting