Hey is any one facing a problem getting extra-devel repository to work?....after i installed pr1.3 i get an error saying that it failed to refresh!!....please help i want to install preenv again...!!