K 10 svn:author V 5 asami K 8 svn:date V 27 2000-10-08T02:21:24.000000Z K 7 svn:log V 51 Rename PLIST.{Tools,gmp} to pkg-plist.{Tools,gmp}. END