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.
Please enter a valid email to subscribe
We need to confirm your email address.
To complete the subscription, please click the link in the
email we just sent you.
Thank you for subscribing!
via Egeo 16