K 10 svn:author V 6 marcus K 8 svn:date V 27 2008-03-01T07:40:28.000000Z K 7 svn:log V 37 Add a missing dependency on libgmp4. END