K 10 svn:author V 2 dd K 8 svn:date V 27 2001-08-10T18:35:08.000000Z K 7 svn:log V 36 Remove libgmp build infrastructure. END