Debian GCC Maintainers http://ftp.debian.org/debian/pool/main/g/gcc-4.7/ GNU General Public License (GPL) v3.0, Appendix D