K 10 svn:author V 6 gerald K 8 svn:date V 27 2016-05-05T14:13:57.282307Z K 7 svn:log V 88 No longer conflict with gcc-4.7.* (which lang/gcc used to be until some 20 months ago). END