../ gnome-doc-tools_1.0-6.1indt1.diff.gz 10-Jul-2007 14:00 11369 gnome-doc-tools_1.0-6.1indt1.dsc 10-Jul-2007 14:00 603 gnome-doc-tools_1.0.orig.tar.gz 10-Jul-2007 14:00 35718