it appears that syncing between developer cvs and anonymous cvs at sourceforge its down until the end of the month. they had a huge failure at end of may.