[SOLVED] GCC 5.1 packages?

[Holzhaus]

Does someone still have gcc 5.1 packages?

I'd like to compile Kodi for on my ODROID-C1, but I'm encountering this bug: http://archlinuxarm.org/forum/viewtopic.php?f=31&t=9201

Thus, I'd like to try with gcc 5.1 instead of 5.2. Unfortunately, I don't have it in my pacman cache anymore and rollback.archlinuxarm.org seems to be down.

Thanks in advance,
Holzhaus

[asbachb]

You might download it from an outdated mirror: https://www.google.de/search?q=gcc-5.1.0-5-armv7h.pkg.tar.xz

[Holzhaus]

Thanks a lot, didn't think about that!