Arduino 1.5.7 avr-libc version

Arduino 1.5.7 has GCC 4.8.1, but which avr-libc?

Will

Make a sketch and let it print it :P VERSION = 4.8.1 AVR_LIBC_VERSION_STRING = 1.8.0svn

Many thanks - I spent a couple of hours rummaging around the internet, the library binaries, and the documentation and entirely failed to find that trick!

Will