Juan RP 7154041b89 gcc: update to 4.7.2; use same patches for chroot-gcc.		2012-09-22 12:04:38 +02:00
..
gcc-4.7.0-cloog-0.17.patch
gcc-4.7.1-libgo-write.patch	gcc: switch to /usr.	2012-07-10 12:15:10 +02:00
gcc-4.7.1-ppl-1.0.patch