K 10 svn:author V 3 mbr K 8 svn:date V 27 2002-06-05T14:38:04.000000Z K 7 svn:log V 79 Fix distfile name for gcc31 Submitted by: Erik H. Bakke END