I imagine that the supported gcc version will be that provided by the distributions being offered. For Debian, you can find out versions by searching on the packages site:
Hmm, what version of Debian is preinstalled in the Debian card? I've read that it uses custom linux-sunxi kernel so thought it's some kind of a custom distro.