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.