K 10 svn:author V 2 hq K 8 svn:date V 27 2006-05-01T23:15:56.000000Z K 7 svn:log V 149 Fix DISTNAME now that SourceForge requires URLs ending with archive extension PR: 96631 Submitted by: Ion-Mihai Tetcu END