I have just made the tag for 5.02 on the ghc-5-02-branch. The tag is called ghc-5-02. This is a little strange given that 5.02 is already released, I know :-) I'll update the source tarball on the web site tomorrow am. J