avr-gcc 4.7.2

Development Suggestions for the Arduino Project
3

On my Mac, I get

:avr-gcc -v
Using built-in specs.
...
gcc version 4.3.2 (GCC)