K 10 svn:author V 3 pav K 8 svn:date V 27 2004-02-27T22:44:56.000000Z K 7 svn:log V 38 cdcl-gtk --> ports/science/cdcl-gtk END