K 10
svn:author
V 6
gerald
K 8
svn:date
V 27
2013-02-16T16:43:41.827616Z
K 7
svn:log
V 144
Replace the use of DISTFILES by DISTNAME, since we are now down to
one in all cases.

On the way, update to the 20130210 snapshot of GCC 4.8.0.

END
