If you're having trouble installing avr-libc on your distribution, I'd look for support from the package maintainer. I don't know anything about it.
The repository does unfortunately have a few very large files in it, so it takes a while to check out. If you're only interested in running Arduino, you should be able to just download the Linux version from the software page.
With Quick-Reply you can write a post when viewing a topic without loading a new page. You can still use bulletin board code and smileys as you would in a normal post.
Warning: this topic has not been posted in for at least 120 days.Unless you're sure you want to reply, please consider starting a new topic.